diff options
author | Mu Qiao <qiaomuf@gentoo.org> | 2011-06-22 18:59:18 +0800 |
---|---|---|
committer | Mu Qiao <qiaomuf@gentoo.org> | 2011-06-26 22:06:37 +0800 |
commit | c917cc0e1580a6f22a829e3399716197b9178608 (patch) | |
tree | 352f437ee8da4a8e3b2f0a28b12fc1163c92c539 /Makefile.am | |
parent | Build: apply the md5 trick for libbashWalker.h (diff) | |
download | libbash-c917cc0e1580a6f22a829e3399716197b9178608.tar.gz libbash-c917cc0e1580a6f22a829e3399716197b9178608.tar.bz2 libbash-c917cc0e1580a6f22a829e3399716197b9178608.zip |
Build: relax antlr timeout limit
The CI server cannot do k=1 for some decisions in less than 1 second.
Now the limit is relaxed.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 6d2c53d..689c6dd 100644 --- a/Makefile.am +++ b/Makefile.am @@ -299,7 +299,7 @@ EXTRA_DIST = bashast/bashast.g \ coding_standard.pdf: coding_standard/coding_standard.tex $(AM_V_GEN)@PDFLATEX@ coding_standard/coding_standard.tex 2&>1 > /dev/null -ANTLR = @JAVA@ -classpath @antlr_cp@ org.antlr.Tool +ANTLR = @JAVA@ -classpath @antlr_cp@ org.antlr.Tool -Xconversiontimeout 5000 cgrammar.run: libbash.g $(AM_V_at)touch $@.tmp |