tools/build_when_required.sh

12 lines
313 B
Bash
Raw Normal View History

2020-01-20 10:40:26 +00:00
#! /usr/bin/env bash
# Args: <config-file> <arch> <builder-args> [<repo>]
CONFIG_DIR="$(dirname "$0")" &&
2020-01-20 10:54:05 +00:00
if [ -z "$4" ]; then
exec "$CONFIG_DIR/build.sh" "$@"
else
"$CONFIG_DIR/hash_modules.py" --require-build --installed "$1" "$2" &&
exec "$CONFIG_DIR/build.sh" "$@"
fi
2020-01-20 10:40:26 +00:00
echo "No rebuild required."