diff options
-rw-r--r-- | config/antlr.m4 | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/config/antlr.m4 b/config/antlr.m4 index 604d2f6bc..8f2e26b51 100644 --- a/config/antlr.m4 +++ b/config/antlr.m4 @@ -19,9 +19,10 @@ AC_DEFUN([AC_PROG_ANTLR], [ ) AC_MSG_RESULT(no) fi - - # Define the ANTL related variables - # AC_SUBST(ANTLR) + if test ! -x "$ANTLR"; + then + AC_MSG_ERROR([antlr3 script is not executable]) + fi ]) ## |