Make runtest.pl execute run scripts directly
commitc5444acc5d0641a6f4797f9794a22d4a8d394c19
authorMarkus Pfeiffer <markusp@mcs.st-andrews.ac.uk>
dateTue 19 Nov 2013, 14:24 (13 years ago)
parent17de459
test/runtest.pl+1−1
@@ -12,7 +12,7 @@ sub runtest {
1212 chdir($test);
1313
1414 print "Running $test...\n";
15− my $got = `sh ./run @idrOpts`;
15+ my $got = `./run @idrOpts`;
1616 my $exp = `cat expected`;
1717
1818 open my $out, '>', 'output';