summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2017-06-23 17:32:50 +0200
committerDamien Doligez <damien.doligez@inria.fr>2017-06-23 17:50:53 +0200
commitd4972ea1d3f21deec0566d7bcf9c44f20a6f776f (patch)
tree2d77ab02e5647318c741db7f4abc63597bf5ce2c /configure
parentb06e77f4ffa2b1c87baccd5e7c3a8eea38469cde (diff)
downloadocaml-d4972ea1d3f21deec0566d7bcf9c44f20a6f776f.tar.gz
cherry-pick the fix for MPR#7557 from 4.04
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure10
1 files changed, 10 insertions, 0 deletions
diff --git a/configure b/configure
index e8211c3e56..26e4dbfe7c 100755
--- a/configure
+++ b/configure
@@ -1141,6 +1141,16 @@ if sh ./hasgot times; then
echo "#define HAS_TIMES" >> s.h
fi
+if 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
+ inf "issetugid() found."
+ echo "#define HAS_ISSETUGID" >> s.h
+fi
+
# For the terminfo module
if test "$with_curses" = "yes"; then