Commit 8de56171 authored by POTTIER Francois's avatar POTTIER Francois

Support %.flags also when timing --list-errors.

parent f1cc2005
......@@ -122,7 +122,10 @@ SINGLE = $(shell ls *.mly | egrep -v '.*-([1-9]).mly')
%.log: %.mly
@ echo "Now dealing with: $<" | tee -a $@
@ if (timeout $(TIMEOUT) $(MENHIR) --list-errors -la 2 --lalr $<) >>$@ 2>&1 ; then \
@ if [ -f $*.flags ] ; then \
FLAGS=`cat $*.flags` ; \
fi; \
if (timeout $(TIMEOUT) $(MENHIR) $$FLAGS --list-errors -la 2 --lalr $<) >>$@ 2>&1 ; then \
echo "$<: success." | tee -a $@ ; \
else \
echo "$<: TIMEOUT (or failure)." | tee -a $@ ; \
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment