diff options
author | Jürgen Schmidt <jsc@apache.org> | 2011-10-05 11:11:43 +0000 |
---|---|---|
committer | Jürgen Schmidt <jsc@apache.org> | 2011-10-05 11:11:43 +0000 |
commit | 297a7175267653145200ae624066c8848ad4800f (patch) | |
tree | c69f5a1cf2ed5142218e8446a71b497216e6f4ae /configure.in | |
parent | 42a7d23eb89a7466e650a4d273733ddc1f2023dd (diff) |
insert configure up-to-date check in configure.in, remove existing configure, force autoconf
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 312ff41eb81c..60bc48b185dd 100644 --- a/configure.in +++ b/configure.in @@ -884,6 +884,13 @@ dnl =================================================================== dnl Configure pre-requisites. dnl =================================================================== cat /dev/null > warn + +AC_MSG_CHECKING([configure is up-to-date]) +if test "configure" -ot "configure.in" +then + AC_MSG_ERROR([configure is not up-to-date, run autoconf first!]) +fi + AC_PROG_EGREP AC_PROG_AWK AC_PATH_PROG( AWK, $AWK) |