Skip to content
GitLab
Commit 451b0059 authored by Hugo Moreau's avatar Hugo Moreau
Browse files

Benchs: Scrutation corrected in Makefile 

 * benchs/Makefile: Here.
parent 28a45780
Pipeline #27216 passed with stage
in 2 minutes and 30 seconds
Hide whitespace changes
Inline Side-by-side
benchs/Makefile
View file @ 451b0059
...@@ -25,7 +25,9 @@ all: ${OUTPUT_LTL} ${OUTPUT_REACH} ...@@ -25,7 +25,9 @@ all: ${OUTPUT_LTL} ${OUTPUT_REACH}
${OUTPUT_LTL}: ${LTLOUTPUT} ${OUTPUT_LTL}: ${LTLOUTPUT}
@echo "model,isempty,spottime,ltsmintime,formulae" > $@ @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 ${LTLOUTPUT}: %-ltl/${OUTPUT_LTL}: RERS/%-ltl.go.formulae.txt RERS/%-ltl.go %-ltl/output/go2pins-mc
@echo Processing $< @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