diff options
-rwxr-xr-x | build_and_test_until | 2 | ||||
-rwxr-xr-x | git_log_filtered | 2 | ||||
-rwxr-xr-x | new_lesson | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/build_and_test_until b/build_and_test_until index a69ad352..b07a3978 100755 --- a/build_and_test_until +++ b/build_and_test_until @@ -1,3 +1,3 @@ -#!/bin/bash +#!/bin/sh ./build --until $1 && ./mu_bin test diff --git a/git_log_filtered b/git_log_filtered index e896cabd..b17cd3bf 100755 --- a/git_log_filtered +++ b/git_log_filtered @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Show the log while skipping unimportant directories. # # I usually run this through an alias local to this repo: diff --git a/new_lesson b/new_lesson index f7126e48..9c18ecdb 100755 --- a/new_lesson +++ b/new_lesson @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Run this before a fresh project for 'mu edit' or 'mu sandbox' to make sure # you don't lose any work. # |