blob: 2ccbe6e38dc5452342f3440be446d5e17fbb044e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/bash -e
#
# Invokes provided arguments in a prebuilt docker image that contains
# the Inter toolchain.
#
cd "$(dirname "$0")/.."
RUN_ARGS=-it
if [[ "$1" == "--no-tty" ]]; then
RUN_ARGS=-i
shift
elif [[ "$1" == "-h" ]] || [[ "$1" == "--help" ]]; then
echo "Run Inter build environment virtual machine using docker." >&2
echo "usage: $0 [--no-tty] [<arg> ...]" >&2
echo "--no-tty Do not run with TTY input device emulation (useful for scripting)" >&2
exit 1
fi
docker run --rm $RUN_ARGS -v "$PWD:/host" rsms/inter-build:latest "$@"
|