run-in-simulavr.sh: repair report.

Use the CONFIG setup some lines before. So it will also work when running this script solely.
This commit is contained in:
Nico Tonnhofer 2017-02-11 23:59:58 +01:00
parent 1e9cb8b8e1
commit 2ce27fd5f7
1 changed files with 1 additions and 1 deletions

View File

@ -46,7 +46,7 @@ echo "Taking Teacup binary ${TEACUP_ELF}."
# Prepare statistics. # Prepare statistics.
echo > ${STATISTICS_FILE} echo > ${STATISTICS_FILE}
(cd .. && make USER_CONFIG="testcases/${USER_CONFIG}" size) | \ (cd .. && make USER_CONFIG="testcases/${CONFIG}" size) | \
tail -5 | head -4 >> ${STATISTICS_FILE} tail -5 | head -4 >> ${STATISTICS_FILE}