fix deploys for thumb targets

japaric · Oct 17, 2016 · aa05f8d · aa05f8d
1 parent dec1b00
commit aa05f8d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/ci/run.sh b/ci/run.sh
@@ -31,7 +31,8 @@ test_mode() {
 deploy_mode() {
     case $TARGET in
         thumbv*-none-eabi*)
-        ;;
+            xargo rustc $flags --release --bin hello -- -C lto
+            ;;
         *)
             cargo rustc $flags --release --bin hello -- -C lto
             ;;