summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authoryallop <yallop@gmail.com>2017-06-30 10:31:10 +0100
committerDamien Doligez <damien.doligez@gmail.com>2017-06-30 11:31:10 +0200
commitde6ec33c6eb210071ce8e26d059c765e82e8c004 (patch)
tree5dbd7593be4d6a2f3f038423e8ed3adfdaf9ab13 /configure
parentfee01100fb0664a3b18aa6214b9eb12976c77e99 (diff)
downloadocaml-de6ec33c6eb210071ce8e26d059c765e82e8c004.tar.gz
Restrict Unix.environment in privileged contexts; add Unix.unsafe_environment (#1217)
* Restrict Unix.environment to return an empty array in privileged environments. * Add Unix.unsafe_environment. Unix.unsafe_environment is an analogue of Unix.environment that returns the process environment regardless of privileges.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure6
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure
index b671ca2c3e..44a7b099b4 100755
--- a/configure
+++ b/configure
@@ -1503,6 +1503,12 @@ if sh ./hasgot accept4; then
echo "#define HAS_ACCEPT4" >> s.h
fi
+if sh ./hasgot getauxval; then
+ inf "getauxval() found."
+ echo "#define HAS_GETAUXVAL" >> s.h
+fi
+
+
# Determine if the debugger is supported
if test -n "$with_debugger"; then