diff options
| -rwxr-xr-x | build_and_test_until | 4 | ||||
| -rwxr-xr-x | git_log_filtered | 2 | ||||
| -rwxr-xr-x | test_layers | 10 |
3 files changed, 8 insertions, 8 deletions
diff --git a/build_and_test_until b/build_and_test_until index b86249c6..80a6357f 100755 --- a/build_and_test_until +++ b/build_and_test_until @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # Load all files sorting before the given argument. # You can pass in a prefix, but files matching the prefix *won't* be included. @@ -10,7 +10,7 @@ make --no-print-directory enumerate/enumerate cat /dev/null $(./enumerate/enumerate --until $1 |grep '.mu$') > core.mu make --no-print-directory autogenerated_lists set +v -if [ `uname` = "Darwin" ] +if [[ `uname` == "Darwin" ]] then # Darwin is shit and otherwise thinks mu_bin is newer than the files it just # generated when called from test_all_layers. diff --git a/git_log_filtered b/git_log_filtered index 89d1c8bc..0ca96fdf 100755 --- a/git_log_filtered +++ b/git_log_filtered @@ -1,4 +1,4 @@ -#!/usr/bin/env zsh +#!/bin/bash # Show the log while skipping unimportant directories. # # I usually run this through an alias local to this repo: 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 |