use size instead of arm-none-eabi-size

2018-08-28 14:55:02 +02:00
parent 7bb74b2123
commit b89c76e3fc
1 changed files with 1 additions and 1 deletions
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -61,7 +61,7 @@ EOF
        examples+=( $ex )
    fi

-    IFS=,;eval arm-none-eabi-size target/$TARGET/release/examples/"{${examples[*]}}"
+    IFS=,;eval size target/$TARGET/release/examples/"{${examples[*]}}"

    popd
    rm -rf $td