run-in-simulavr.sh: enable size report.

Apparently this got forgotten earlier.
This commit is contained in:
Markus Hitter 2016-11-21 13:30:36 +01:00
parent 6e87ee5f96
commit 92516b55ea
1 changed files with 2 additions and 2 deletions

View File

@ -46,8 +46,8 @@ echo "Taking Teacup binary ${TEACUP_ELF}."
# Prepare statistics. # Prepare statistics.
echo > ${STATISTICS_FILE} echo > ${STATISTICS_FILE}
(cd .. && echo make USER_CONFIG="${USER_CONFIG}" size) | \ (cd .. && make USER_CONFIG="testcases/${USER_CONFIG}" size) | \
tail -4 >> ${STATISTICS_FILE} tail -5 | head -4 >> ${STATISTICS_FILE}
# Prepare a pin tracing file, assuming a Gen7-v1.4 configuration. See # Prepare a pin tracing file, assuming a Gen7-v1.4 configuration. See