1
1
mirror of https://github.com/rsms/inter.git synced 2024-11-24 05:30:41 +03:00
inter/dockermake
2019-10-22 19:48:16 -07:00

12 lines
332 B
Bash
Executable File

#!/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-build:latest make -r -R "$@"