diff options
| author | Damien George | 2020-04-20 11:50:36 +1000 |
|---|---|---|
| committer | Damien George | 2020-04-22 14:07:56 +1000 |
| commit | 6e2871df597249d497e0f4c9b8feba20a6b91c94 (patch) | |
| tree | ed3d0eb7a43852ac5bdac3c2f7163ef945240138 /tools/check_code_size.sh | |
| parent | 8267f0866cf6d4b583cc3f6e8c4e15a3d81142c6 (diff) | |
tools/check_code_size.sh: Remove unused script.
It's now replaced by tools/metrics.py.
Diffstat (limited to 'tools/check_code_size.sh')
| -rwxr-xr-x | tools/check_code_size.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/tools/check_code_size.sh b/tools/check_code_size.sh deleted file mode 100755 index 2925ff168..000000000 --- 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 |