Changeset 27765 for other-projects/nightly-tasks

Timestamp:

2013-07-05T19:05:45+12:00 (11 years ago)

Author:

ak19

Message:

Needs a fix for linux when checking out pdfbox.

File:

• other-projects/nightly-tasks/diffcol/trunk/task.pl (modified) (1 diff)

other-projects/nightly-tasks/diffcol/trunk/task.pl

@@ -383 +383 @@
     }
     else { # linux
-        $cmd = "source setup.bash && cd ext && wget $PDFBOX_TRAC_URL.tar.gz && tar -xzf pdf-box-java.tar.gz";
+        $cmd = "bash -c \"export GSDLHOME=&& source setup.bash && cd ext && wget $PDFBOX_TRAC_URL.tar.gz && tar -xzf pdf-box-java.tar.gz\"";
     }
     my $status = system $cmd;
     if($status != 0) {
         print STDERR "@@@ Failed to set up PDFBox\n";
-        #exit -1; # proceed testing other tutorials?
+        exit -1; # or proceed to testing other tutorials?
     }
 }