From 4ded41f4a37133a7e73156619cfb0fd8de767143 Mon Sep 17 00:00:00 2001
From: Rasmus Andersson <rasmus@notion.se>
Date: Sat, 5 Jan 2019 16:20:22 -0800
Subject: Adds docker toolchain for a simpler build setup

---
 dockermake | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 dockermake

(limited to 'dockermake')

diff --git a/dockermake b/dockermake
new file mode 100755
index 000000000..87b069923
--- /dev/null
+++ b/dockermake
@@ -0,0 +1,11 @@
+#!/bin/bash -e
+#
+# Runs make in a prebuilt docker image.
+# All you need to have installed is docker for this to work.
+# This is an alternative to building locally.
+#
+cd "$(dirname "$0")"
+if [[ -d .git ]]; then
+  git rev-parse --short HEAD > githash.txt
+fi
+docker run --rm -it -v "$PWD:/host" rsms/inter-ui-build:latest make "$@"
-- 
cgit v1.2.3