diff options
author | Lukas Larsson <[email protected]> | 2016-08-12 11:27:33 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2016-08-12 11:27:33 +0200 |
commit | 9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2 (patch) | |
tree | 52d5945fc0b4adde8fc73ba3f0e410f3c02b7828 /configure.in | |
parent | cd54106596b3471b42b59693a40e21b58729cdb0 (diff) | |
parent | daa0f831aee9dedf8cdf29fd5f97f98f55e072e3 (diff) | |
download | otp-9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2.tar.gz otp-9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2.tar.bz2 otp-9cd8c5319a9ffd71fc5f8db755b4014f199fc0f2.zip |
Merge branch 'maint'
Conflicts:
lib/gs/doc/src/Makefile
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 8a7f372a50..ea98dc9836 100644 --- a/configure.in +++ b/configure.in @@ -129,6 +129,13 @@ AC_PROG_CC AC_PROG_CXX AC_CHECK_TOOL(LD, [ld]) +_search_path=/bin:/usr/bin:/usr/local/bin:$PATH + +AC_PATH_PROG(ENV, [env], false, $_search_path) +if test "$ac_cv_path_ENV" = false; then + AC_MSG_ERROR([No 'env' command found]) +fi + # # We need GNU make, complain if we can't find it # |