diff options
author | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2019-01-06 03:20:22 +0300 |
commit | 4ded41f4a37133a7e73156619cfb0fd8de767143 (patch) | |
tree | f3a1fe221ac925db7513108be81705c5661aca0a /dockermake | |
parent | c6c99df95877077207f1f78f572734490d56f404 (diff) | |
download | inter-4ded41f4a37133a7e73156619cfb0fd8de767143.tar.xz |
Adds docker toolchain for a simpler build setup
Diffstat (limited to 'dockermake')
-rwxr-xr-x | dockermake | 11 |
1 files changed, 11 insertions, 0 deletions
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 "$@" |