charon-tkm: Abort if gprbuild binary is not found

diff --git a/configure.ac b/configure.ac
index a3fb712..34836d6 100644 (file)
--- 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