From 2ce27fd5f70e4aea73ed4b66afc347bc8549daa6 Mon Sep 17 00:00:00 2001 From: Nico Tonnhofer Date: Sat, 11 Feb 2017 23:59:58 +0100 Subject: [PATCH] run-in-simulavr.sh: repair report. Use the CONFIG setup some lines before. So it will also work when running this script solely. --- testcases/run-in-simulavr.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testcases/run-in-simulavr.sh b/testcases/run-in-simulavr.sh index 33c57b9..9767175 100755 --- a/testcases/run-in-simulavr.sh +++ b/testcases/run-in-simulavr.sh @@ -46,7 +46,7 @@ echo "Taking Teacup binary ${TEACUP_ELF}." # Prepare statistics. echo > ${STATISTICS_FILE} -(cd .. && make USER_CONFIG="testcases/${USER_CONFIG}" size) | \ +(cd .. && make USER_CONFIG="testcases/${CONFIG}" size) | \ tail -5 | head -4 >> ${STATISTICS_FILE}