From b89c76e3fc6c321311b9ccb681949f978c90b524 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 28 Aug 2018 14:55:02 +0200
Subject: [PATCH] use size instead of arm-none-eabi-size

---
 ci/script.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/script.sh b/ci/script.sh
index ed81f53..cfc0c34 100644
--- 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