Changeset 27765

Show
Ignore:
Timestamp:
05.07.2013 19:05:45 (6 years ago)
Author:
ak19
Message:

Needs a fix for linux when checking out pdfbox.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • other-projects/nightly-tasks/diffcol/trunk/task.pl

    r27764 r27765  
    383383    } 
    384384    else { # linux 
    385         $cmd = "source setup.bash && cd ext && wget $PDFBOX_TRAC_URL.tar.gz && tar -xzf pdf-box-java.tar.gz"; 
     385        $cmd = "bash -c \"export GSDLHOME=&& source setup.bash && cd ext && wget $PDFBOX_TRAC_URL.tar.gz && tar -xzf pdf-box-java.tar.gz\""; 
    386386    } 
    387387    my $status = system $cmd; 
    388388    if($status != 0) { 
    389389        print STDERR "@@@ Failed to set up PDFBox\n"; 
    390         #exit -1; # proceed testing other tutorials? 
     390        exit -1; # or proceed to testing other tutorials? 
    391391    } 
    392392}