Commit fbaca9e2 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Time the whole thing. Clean up *.log.

parent 77276960
......@@ -97,7 +97,7 @@ expected:
@ echo "Expected output re-generated."
rm -f *~
rm -f *.ml *.mli *.conflicts *.automaton
rm -f *.out failures warnings
......@@ -131,9 +131,14 @@ list:
# Each process appends one line of data to lr.csv when it finishes.
# Hopefully the final content of lr.csv will be a reasonable interleaving
# of these lines.
@ $(MAKE) $(PARALLEL) $(patsubst %.mly,%.log,$(SINGLE))
@ time $(MAKE) $(PARALLEL) $(patsubst %.mly,%.log,$(SINGLE))
# Finished.
@ echo "Number of grammars that could not be handled in $(TIMEOUT) seconds:"
@ grep TIMEOUT *.log | wc -l
@ echo "Number of grammars that were successfully handled:"
@ tail -n +2 lr.csv | wc -l
rm -f *.log
# rm -f lr.csv
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