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:55:46 +0200
commit15966dbeaacc4051ecfbf9c5ac0407b805b211b4 (patch)
tree260f10816594ef7b2f6ad404560b3af8a6a67009 /configure
parentac6dbd49ace4e0caf6a63507b6947ab67e4b1b78 (diff)
downloadocaml-15966dbeaacc4051ecfbf9c5ac0407b805b211b4.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 9fdda61560..ebf06dd2b1 100755
--- a/configure
+++ b/configure
@@ -1112,6 +1112,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