From eb917331a8de7ee724cd1eec5d0b9bb6ef76fae2 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 8 May 2016 19:11:51 -0700 Subject: 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. --- test_layers | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'test_layers') 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 -- cgit 1.4.1-2-gfad0