diff options
Diffstat (limited to 'test_layers')
-rwxr-xr-x | test_layers | 10 |
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 |