force use of bash instead of sh. hold over from depending on more enriched features from ubuntu's use of dash as /bin/sh
This commit is contained in:
parent
29aa468cf4
commit
fc15028073
10
autoTest.pl
10
autoTest.pl
|
|
@ -114,7 +114,7 @@ $data{'e'}{'name'} = "Eiffel";
|
|||
$data{'e'}{'src'}= "primes.e";
|
||||
$data{'e'}{'compiler0'} = "compile_to_c";
|
||||
$data{'e'}{'prog'} = "primese";
|
||||
$data{'e'}{'cflags0'} = "$data{'e'}{'src'} -boost -O3 -o " . $data{'e'}{'prog'}. " && sh primes.make";
|
||||
$data{'e'}{'cflags0'} = "$data{'e'}{'src'} -boost -O3 -o " . $data{'e'}{'prog'}. " && bash primes.make";
|
||||
$data{'e'}{'cflagspre0'} = "rm -f primes1.o && ";
|
||||
|
||||
$data{'awk'}{'name'} = "AWK";
|
||||
|
|
@ -548,9 +548,9 @@ foreach $l (@langs)
|
|||
print results "Compile";
|
||||
if($l ne "java" && $l ne "m3") {$rcmd = "rm -f $data{$l}{'prog'}";}
|
||||
else { $rcmd = "";}
|
||||
$cmd .= "sh ";
|
||||
$cmd .= "bash ";
|
||||
if(!$debug) { $cmd .= "2>&1 "; }
|
||||
$cmd .= "-c \"" .$TIME . " sh -c \\\"";
|
||||
$cmd .= "-c \"" .$TIME . " bash -c \\\"";
|
||||
|
||||
$cp = 0;
|
||||
if(! $data{$l}{'compiler'})
|
||||
|
|
@ -624,9 +624,9 @@ foreach $l (@langs)
|
|||
|
||||
$filter = "";
|
||||
$interpreter = "";
|
||||
$cmd = "sh ";
|
||||
$cmd = "bash ";
|
||||
if(!$debug) { $cmd .= "2>&1 "; }
|
||||
$cmd .= "-c \"". $TIME . " sh -c \\\"";
|
||||
$cmd .= "-c \"". $TIME . " bash -c \\\"";
|
||||
if( $data{$l}{"interp0"} or $interpB)
|
||||
{
|
||||
$ip=0;
|
||||
|
|
|
|||
Loading…
Reference in New Issue