diff --git a/benchmarks/build.pl b/benchmarks/build.pl
index 389fa5654..cf5a0ee53 100755
--- a/benchmarks/build.pl
+++ b/benchmarks/build.pl
@@ -8,7 +8,7 @@ foreach $b (@bm) {
         print "Building $1 / $2\n";
         chdir $1;
         system("idris --clean $2.ipkg");
-        system("idris --build $2.ipkg");
+        system("idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
         chdir "..";
     }
 }