diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-01 20:01:07 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-01 20:01:07 +0000 |
commit | e681d67764508a94b812f309a714745eca027ad6 (patch) | |
tree | 8c8aa8662db0e35797373353574ac88441c4bfff /config | |
parent | 249f3ff2221d88c28faf17e56846009326455606 (diff) |
Checking for executable permission on antlr3 script
Diffstat (limited to 'config')
-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 ]) ## |