1 files changed, 4 insertions, 0 deletions
diff --git a/mk.sh b/mk.sh
index 1f749eb..2468954 100755
--- a/mk.sh
+++ b/mk.sh
@@ -4,6 +4,9 @@ set -euo pipefail
 repo=$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd -P)
 srcdir="$repo/src"
 
+platform="$1"
+shift
+
 if [[ "$(pwd -P)" = "$repo" ]]; then
 	test ! -d build || rm -r build
 	mkdir build
@@ -12,6 +15,7 @@ fi
 
 cat >config.mak <<EOF
 CONFIGURED = 1
+platform = $platform
 srcdir = $srcdir
 EOF
 ln -s "$srcdir/Makefile"