charon-tkm: Abort if gprbuild binary is not found
parent
8416ebb628
commit
d33df7ed51
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue