about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-06 21:49:21 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-06 21:49:26 -0700
commit924253f1a5b8cdaa3ab301d752b9bdf855d6a0f9 (patch)
tree13c80e502e85947c2b5267b921a67eb5b5a99ff6
parent6ff112a15d213bb955195e488aaa7384dcf9049e (diff)
downloadmu-924253f1a5b8cdaa3ab301d752b9bdf855d6a0f9.tar.gz
3455
-rwxr-xr-xbuild_and_test_until2
-rwxr-xr-xgit_log_filtered2
-rwxr-xr-xnew_lesson2
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.
 #