From 57331ba9756df043b5c665aa4952a0a7b38799e5 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Sat, 16 Nov 2024 12:38:37 -0600
Subject: Initial commit

---
 mk.sh | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100755 mk.sh

(limited to 'mk.sh')

diff --git a/mk.sh b/mk.sh
new file mode 100755
index 0000000..1f749eb
--- /dev/null
+++ b/mk.sh
@@ -0,0 +1,21 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+repo=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)
+srcdir="$repo/src"
+
+if [[ "$(pwd -P)" = "$repo" ]]; then
+	test ! -d build || rm -r build
+	mkdir build
+	cd build
+fi
+
+cat >config.mak <<EOF
+CONFIGURED = 1
+srcdir = $srcdir
+EOF
+ln -s "$srcdir/Makefile"
+
+n="$(nproc)"
+watchexec -w "$srcdir" -- \
+make "-j$n" "-l$n" "$@"
-- 
cgit v1.2.3