summaryrefslogtreecommitdiff
path: root/stdlib/Compflags
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@gmail.com>2018-12-03 14:08:56 +0100
committerGitHub <noreply@github.com>2018-12-03 14:08:56 +0100
commitfc60f71b4500a7b9d5dac16499239120b97bcd32 (patch)
treef923234b2a51432be79c0ff66ff672ff2a9cb29e /stdlib/Compflags
parent3d288aef35ad9e2c0ceea76a5cceb4a625dbfb5c (diff)
downloadocaml-fc60f71b4500a7b9d5dac16499239120b97bcd32.tar.gz
add Stdlib.Float.Array (#1936)
Add Stdlib.Float.Array module with a bunch of functions for the floatarray type.
Diffstat (limited to 'stdlib/Compflags')
-rwxr-xr-xstdlib/Compflags1
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags
index d22afa400d..0f3138cd8f 100755
--- a/stdlib/Compflags
+++ b/stdlib/Compflags
@@ -30,5 +30,6 @@ case $1 in
echo ' -w Ae';;
stdlib__scanf.cmx|stdlib__scanf.p.cmx) echo ' -inline 9';;
*Labels.cm[ox]|*Labels.p.cmx) echo ' -nolabels -no-alias-deps';;
+ stdlib__float.cm[ox]|stdlib__float.p.cmx) echo ' -nolabels -no-alias-deps';;
*) echo ' ';;
esac