summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2021-03-02 16:15:55 +0000
committerTom Kelly <ctk21@cl.cam.ac.uk>2021-03-02 16:15:55 +0000
commit29f4177a4e2f45f9c371172316a3ff18446fbd65 (patch)
tree796c9f8902031435541688b7a829fd8f76f89a54 /configure
parent3161ea9858d6b5069641b38bbf2303eeea1fb406 (diff)
parent0ca651b95cbda5d58f7760f0fa1dba965d1f0828 (diff)
downloadocaml-29f4177a4e2f45f9c371172316a3ff18446fbd65.tar.gz
Merge commit '0ca651b95cbda5d58f7760f0fa1dba965d1f0828' into parallel_minor_gc_4_12
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure13
1 files changed, 13 insertions, 0 deletions
diff --git a/configure b/configure
index 28a3c66c05..64bd60f9cd 100755
--- a/configure
+++ b/configure
@@ -14935,6 +14935,19 @@ if test "x$ac_cv_func_putenv" = xyes; then :
fi
+## setenv and unsetenv
+
+ac_fn_c_check_func "$LINENO" "setenv" "ac_cv_func_setenv"
+if test "x$ac_cv_func_setenv" = xyes; then :
+ ac_fn_c_check_func "$LINENO" "unsetenv" "ac_cv_func_unsetenv"
+if test "x$ac_cv_func_unsetenv" = xyes; then :
+ $as_echo "#define HAS_SETENV_UNSETENV 1" >>confdefs.h
+
+fi
+
+fi
+
+
## newlocale() and <locale.h>
# Note: the detection fails on msvc so we hardcode the result
# (should be debugged later)