Commit 126ffe58 authored by Etienne Renault's avatar Etienne Renault
Browse files

bench: fix wrong variable name

* benchs/Makefile: Here.
parent d005a6ed
......@@ -83,7 +83,7 @@ ${OUTPUT_REACH}: ${REACHOUTPUT}
${REACHOUTPUT}: %-reach/${OUTPUT_REACH}: RERS/%-reach.go %-reach/output/go2pins-mc %-reach
@echo Processing $<.formulae.txt if it exists
@./run-reach.sh $@ $^ ${REACHTHREADS}
@./run-reach.sh $@ $^ ${NBTHREADS}
@echo End of processing $<
%-reach/output/go2pins-mc: %-reach
......
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