diff options
| -rw-r--r-- | configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index a3fb71274..34836d6b6 100644 --- a/configure.ac +++ b/configure.ac @@ -939,6 +939,9 @@ CFLAGS="$CFLAGS -include `pwd`/config.h" if test x$tkm = xtrue; then AC_PATH_PROG([GPRBUILD], [gprbuild], [], [$PATH:/bin:/usr/bin:/usr/local/bin]) + if test x$GPRBUILD = x; then + AC_MSG_ERROR([gprbuild not found]) + fi fi if test x$coverage = xtrue; then |