Remove permanent build directory

2017-12-23 23:38:21 -06:00
parent ebdd31315d
commit 7e1866ade9
6 changed files with 21 additions and 73 deletions
--- a/scripts/run-make
+++ b/scripts/run-make
@ -0,0 +1,14 @@
+#! /usr/bin/env bash
+
+set -e
+
+if [$(which gmake) != 'gmake not found']; then
+	MAKE="gmake"
+else
+	MAKE="make"
+fi
+
+for f in $(find $1 -maxdepth 1 -mindepth 1 -type d)
+do
+	$MAKE -s -j -C "$f" $2
+done