From 92516b55ea91d6997c46608051f3122fd043b595 Mon Sep 17 00:00:00 2001 From: Markus Hitter Date: Mon, 21 Nov 2016 13:30:36 +0100 Subject: [PATCH] run-in-simulavr.sh: enable size report. Apparently this got forgotten earlier. --- testcases/run-in-simulavr.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/testcases/run-in-simulavr.sh b/testcases/run-in-simulavr.sh index b8c321e..33c57b9 100755 --- a/testcases/run-in-simulavr.sh +++ b/testcases/run-in-simulavr.sh @@ -46,8 +46,8 @@ echo "Taking Teacup binary ${TEACUP_ELF}." # Prepare statistics. echo > ${STATISTICS_FILE} -(cd .. && echo make USER_CONFIG="${USER_CONFIG}" size) | \ - tail -4 >> ${STATISTICS_FILE} +(cd .. && make USER_CONFIG="testcases/${USER_CONFIG}" size) | \ + tail -5 | head -4 >> ${STATISTICS_FILE} # Prepare a pin tracing file, assuming a Gen7-v1.4 configuration. See