diff options
Diffstat (limited to 'impl/performance/run-bench.sh')
| -rw-r--r-- | impl/performance/run-bench.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/impl/performance/run-bench.sh b/impl/performance/run-bench.sh index 8ebdbbc..ed6541b 100644 --- a/impl/performance/run-bench.sh +++ b/impl/performance/run-bench.sh @@ -6,7 +6,7 @@ COUNT=1 while [[ `echo "$NUM < 100000" | bc` == "1" ]] do echo -n "($NUM," - python generate-long.py $NUM > system.eqns + python generate-$1.py $NUM > system.eqns echo `../build/main system.eqns 2>&1 >/dev/null | grep Time | egrep -o "[0-9]*\.[0-9]+"` ")" NUM=$(($NUM * 2)) COUNT=$(($COUNT + 1)) |