@@ -2,13 +2,14 @@
3$bmarks = `cat ALL`;
3$bmarks = `cat ALL`;
4@bm = split(/\n/, $bmarks);
4@bm = split(/\n/, $bmarks);
5+$idris = $ENV{'IDRIS'} || "idris";
6foreach $b (@bm) {
7foreach $b (@bm) {
7 if ($b =~ /([a-zA-Z0-9]+)\/([a-zA-Z0-9]+)\s+(.*)/) {
8 if ($b =~ /([a-zA-Z0-9]+)\/([a-zA-Z0-9]+)\s+(.*)/) {
8 print "Building $1 / $2\n";
9 print "Building $1 / $2\n";
10− system("idris --clean $2.ipkg");
11+ system("$idris --clean $2.ipkg");
11− system("idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
12+ system("$idris --build $2.ipkg") == 0 or die "Unable to build $2: $?";
12 chdir "..";
13 chdir "..";