Commit 241d8a62 authored by POTTIER Francois's avatar POTTIER Francois

Modified bench/Makefile to not use --only-preprocess on second run.

That would prevent us from verifying errors that are detected after
the front-end, such as epsilon-cycle.mly and no-tokens.mly.
parent b8c0ed94
......@@ -21,6 +21,7 @@ test: clean $(RESULTS)
fi
%.result: %.mly
# Check if there is a group of several .mly files, or just one .mly file.
@ if echo $< | grep -e "-1.mly" &> /dev/null; then \
export BASE=`echo $< | sed s/"-1.mly"/""/`; \
export FILES=`echo $$BASE-[1-9].mly`; \
......@@ -33,7 +34,7 @@ test: clean $(RESULTS)
echo "-> [KO] menhir should not accept $$FILES"; \
export FAILED_FILES="$$FAILED_FILES $$FILES"; \
else \
$(SHELL) -c '$(MENHIR) --only-preprocess $$CMD >& $@'; \
$(SHELL) -c '$(MENHIR) $$CMD >& $@'; \
if [ x$$CREATE_EXPECTED == x"1" ]; then \
cp $@ $*.expected; \
fi; \
......
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