summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authoryallop <yallop@gmail.com>2017-08-03 14:19:13 +0100
committerMark Shinwell <mshinwell@gmail.com>2017-08-03 14:19:13 +0100
commit65c932253b96651a6d13550a48dd386a89244ed0 (patch)
treee06098840d29e15d888c28e7c40238743cb65f7a /configure
parent3d1a0fba2f64ad82bc3961311d85d8b7f6c48f06 (diff)
downloadocaml-65c932253b96651a6d13550a48dd386a89244ed0.tar.gz
String_val: return 'const char *' when -safe-string is globally enabled (#1274)
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure b/configure
index b223285d66..640d44d033 100755
--- a/configure
+++ b/configure
@@ -2018,6 +2018,10 @@ if $with_fpic; then
echo "#define CAML_WITH_FPIC" >> m.h
fi
+if $safe_string; then
+ echo "#define CAML_SAFE_STRING" >> m.h
+fi
+
# Finish generated files
cclibs="$cclibs $mathlib"