diff options
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 "$@" |