Adjust to grmon2

This commit is contained in:
lcbcfoo 2018-07-23 15:55:15 -03:00
parent 27becf0ff0
commit 281d37e789

View file

@ -21,7 +21,7 @@ echo $@
echo ""
rm -f wcet_benchmark/*.log tools/bench_res.txt
gcc tools/to_text.c -o tools/to_text
echo "01000000" > tools/res.txt
echo "01" > tools/res.txt
for input in `ls -1 wcet_benchmark/*.out`; do
echo "Running:" ${input}
n=10