diff options
Diffstat (limited to 'docker-build')
-rwxr-xr-x | docker-build | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/docker-build b/docker-build new file mode 100755 index 0000000..7ff5226 --- /dev/null +++ b/docker-build @@ -0,0 +1,11 @@ +#!/bin/bash + +output="$1" +shift + +exec docker run -ti \ + -v "$(pwd)":/treble \ + -v "$output":/treble_output \ + -w /treble_output \ + treble \ + /bin/bash /treble/build.sh "$@" |