From f4c6d1a52616a9cf6cf3e03fbfd5bb53cc83dcf7 Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Wed, 27 May 2015 13:13:06 -0700 Subject: [PATCH] add make --- run_make | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100755 run_make diff --git a/run_make b/run_make new file mode 100755 index 0000000..7049f93 --- /dev/null +++ b/run_make @@ -0,0 +1,7 @@ +#!/bin/bash + +if [ -z "$MAKE_TARGET" ]; then + make "$MAKE_TARGET"; +else + make; +fi; -- 2.39.2