fix ci/script.sh

japaric · japaric · commit 850d88f046a4 · 2018-01-23T21:10:29.000+01:00
diff --git a/ci/script.sh b/ci/script.sh
@@ -5,3 +5,5 @@ set -euxo pipefail
 main() {
     cross check --target $TARGET
 }
+
+main
