From fc1502807382d5f10df2d4e2a9582d414e31b5f2 Mon Sep 17 00:00:00 2001
From: Dan Ballard <dan@mindstab.net>
Date: Thu, 25 Jun 2026 17:49:23 -0700
Subject: [PATCH] force use of bash instead of sh. hold over from depending on
 more enriched features from ubuntu's use of dash as /bin/sh

---
 autoTest.pl | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/autoTest.pl b/autoTest.pl
index 5419636..2f4912b 100755
--- a/autoTest.pl
+++ b/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;