update

src/main/test-mr-many.sh

@@ -1,17 +1,21 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 if [ $# -ne 1 ]; then
     echo "Usage: $0 numTrials"
     exit 1
 fi
 
+trap 'kill -INT -$pid; exit 1' INT
+
 # Note: because the socketID is based on the current userID,
 # ./test-mr.sh cannot be run in parallel
 runs=$1
 chmod +x test-mr.sh
+
 for i in $(seq 1 $runs); do
-    if ! timeout -k 2s 900s ./test-mr.sh
+    timeout -k 2s 900s ./test-mr.sh &
-    then
+    pid=$!
+    if ! wait $pid; then
         echo '***' FAILED TESTS IN TRIAL $i
         exit 1
     fi

src/main/test-mr.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 #
 # basic map-reduce test