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, 2 insertions, 2 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.