diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 21:49:21 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 21:49:26 -0700 |
commit | 924253f1a5b8cdaa3ab301d752b9bdf855d6a0f9 (patch) | |
tree | 13c80e502e85947c2b5267b921a67eb5b5a99ff6 | |
parent | 6ff112a15d213bb955195e488aaa7384dcf9049e (diff) | |
download | mu-924253f1a5b8cdaa3ab301d752b9bdf855d6a0f9.tar.gz |
3455
-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. # |