16 lines
407 B
Plaintext
16 lines
407 B
Plaintext
|
#!/usr/bin/env bash
|
||
|
# Run one of the tools.
|
||
|
# The first argument must be the name of the tool task (e.g. mklanguages).
|
||
|
# Any remaining arguments are forwarded to the tool's argv.
|
||
|
|
||
|
task=$1
|
||
|
shift 1
|
||
|
|
||
|
if [ -z "${task}" ] || [ ! -d "tools/${task}" ]
|
||
|
then
|
||
|
echo "Unknown tool: '${task}'"
|
||
|
exit 1
|
||
|
fi
|
||
|
|
||
|
./gradlew --quiet ":tools:${task}:installDist" && "./tools/${task}/build/install/${task}/bin/${task}" "$@"
|