2942 - switch scripts to bash

I'm already using grep and perl, bash is no worse, and it's *much* nicer
to work in than plain Bourne sh.

1 files changed, 5 insertions, 5 deletions

diff --git a/test_layers b/test_layers
index b5160e03..81598241 100755
--- a/test_layers
+++ b/test_layers
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # Test all layers:
 #   test_layers
 # Test layers after x:
@@ -10,19 +10,19 @@
 
 for f in [0-9]*
 do
-  if [ "$f" \< "$1" ]; then continue; fi
-  if expr "$2" \& "$f" \> "$2" >/dev/null; then exit; fi
+  if [[ $f < $1 ]]; then continue; fi
+  if [[ $2 && $f > $2 ]]; then continue; fi
   echo "=== $f"
   ./build_and_test_until $f || exit 1
 done
 
-if expr "$1" \& "$1" '==' "chessboard" >/dev/null
+if [[ ! $1 || $1 == chessboard ]]
 then
   echo "=== chessboard"
   ./mu test chessboard.mu || exit 1
 fi
 
-if expr "$1" \& "$1" '==' "edit" >/dev/null
+if [[ ! $1 || $1 == edit ]]
 then
   for f in edit/[0-9]*
   do