diff options
author | Ben Elliston <bje@gnu.org> | 2019-01-01 20:35:23 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2019-01-01 20:35:23 +1100 |
commit | 7d63d7a08cc11858904b44edaf32d1bc2a52ff0f (patch) | |
tree | 393ad3f5ed622927655dbafc23c0cd27103bf332 /configure.ac | |
parent | 133ffaef0b659e159d9e41468f7b25e494b11fb3 (diff) | |
download | dejagnu-7d63d7a08cc11858904b44edaf32d1bc2a52ff0f.zip dejagnu-7d63d7a08cc11858904b44edaf32d1bc2a52ff0f.tar.gz dejagnu-7d63d7a08cc11858904b44edaf32d1bc2a52ff0f.tar.bz2 |
* configure.ac: Abort if AWK is not installed.
* configure: Regenerate.
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 336b585..9ce1b08 100644 --- a/configure.ac +++ b/configure.ac @@ -30,6 +30,10 @@ AC_PROG_CXX AC_PROG_INSTALL AC_EXEEXT +if test -z "$AWK"; then + AC_MSG_ERROR([AWK not installed]) +fi + dnl Search for expect. AC_PATH_PROG([EXPECT], [expect]) if test -z $ac_cv_path_EXPECT ; then |