From 6e2871df597249d497e0f4c9b8feba20a6b91c94 Mon Sep 17 00:00:00 2001 From: Damien George Date: Mon, 20 Apr 2020 11:50:36 +1000 Subject: [PATCH] tools/check_code_size.sh: Remove unused script. It's now replaced by tools/metrics.py. --- tools/check_code_size.sh | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 tools/check_code_size.sh diff --git a/tools/check_code_size.sh b/tools/check_code_size.sh deleted file mode 100755 index 2925ff1689..0000000000 --- a/tools/check_code_size.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash -# -# This script check that changes don't lead to code size regressions. -# (Size of the language core (== minimal port should not grow)). -# - -REFERENCE=$HOME/persist/firmware.bin -#REFERENCE=/tmp/micropython -#TRAVIS_PULL_REQUEST=false - -if [ -f $REFERENCE ]; then - size_old=$(stat -c%s $REFERENCE) - size_new=$(stat -c%s ports/minimal/build/firmware.bin) - echo "Old size: $size_old new size: $size_new" - if [ $size_new -gt $size_old ]; then - echo "Validation failure: Core code size increased" - if [ "$TRAVIS_PULL_REQUEST" != "false" ]; then - exit 1 - fi - fi -else - echo "Warning: reference file doesn't exist, code size check didn't run" -fi