Fix shell return code, closes #4362
commit4b04d933d646d9683dbd543a6383d891113ddea5
authorJorge Acereda <jacereda@gmail.com>
dateFri 2 Mar 2018, 13:46 (9 years ago)
parentb93fe6b
benchmarks/build.pl+1−1
@@ -8,7 +8,7 @@ foreach $b (@bm) {
88 print "Building $1 / $2\n";
99 chdir $1;
1010 system("idris --clean $2.ipkg");
11− system("idris --build $2.ipkg");
11+ system("idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
1212 chdir "..";
1313 }
1414}