summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@gmail.com>2017-06-28 14:02:15 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-06-28 14:08:07 +0200
commitfee01100fb0664a3b18aa6214b9eb12976c77e99 (patch)
tree3e3b5c04ba738b0b91ff17d9f91448685f183e18 /configure
parentc34e24277450e4f5a08b7f338abd09e81ca7b943 (diff)
downloadocaml-fee01100fb0664a3b18aa6214b9eb12976c77e99.tar.gz
Some tweaks for MPR#7557 (#1213)
* fall back to __secure_getenv when secure_getenv is not available * use secure_getenv for instrumented runtimes * documentation: warn against setting the setuid or setgid bits on custom bytecode executables
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index ebf06dd2b1..b671ca2c3e 100755
--- a/configure
+++ b/configure
@@ -1115,6 +1115,9 @@ fi
if sh ./hasgot2 -D_GNU_SOURCE -i stdlib.h secure_getenv; then
inf "secure_getenv() found."
echo "#define HAS_SECURE_GETENV" >> s.h
+elif sh ./hasgot2 -D_GNU_SOURCE -i stdlib.h __secure_getenv; then
+ inf "__secure_getenv() found."
+ echo "#define HAS___SECURE_GETENV" >> s.h
fi
if sh ./hasgot -i unistd.h issetugid; then