mirror of
https://github.com/rsms/inter.git
synced 2024-11-17 07:47:33 +01:00
19 lines
553 B
Bash
Executable file
19 lines
553 B
Bash
Executable file
#!/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 "$@"
|