Commit 38200876 authored by Hugo Moreau's avatar Hugo Moreau Committed by Etienne Renault
Browse files

Benchs: Scrutation corrected in Makefile

 * benchs/Makefile: Here.
parent 64fb646e
......@@ -25,7 +25,9 @@ all: ${OUTPUT_LTL} ${OUTPUT_REACH}
${OUTPUT_LTL}: ${LTLOUTPUT}
@echo "model,isempty,spottime,ltsmintime,formulae" > $@
@tail -q -n +2 $< >> $@
@if [ ! -f $< ]; then\
tail -q -n +2 $< >> $@;\
fi
${LTLOUTPUT}: %-ltl/${OUTPUT_LTL}: RERS/%-ltl.go.formulae.txt RERS/%-ltl.go %-ltl/output/go2pins-mc
@echo Processing $<
......
Supports Markdown
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