@@ -8,7 +8,7 @@ foreach $b (@bm) {
8 print "Building $1 / $2\n";
8 print "Building $1 / $2\n";
10 system("idris --clean $2.ipkg");
10 system("idris --clean $2.ipkg");
11− system("idris --build $2.ipkg");
11+ system("idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
12 chdir "..";
12 chdir "..";