tools/build_when_required.sh

11 lines
293 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>]
2020-01-20 10:54:05 +00:00
if [ -z "$4" ]; then
2020-10-10 17:16:33 +00:00
exec "$(dirname "$0")/build.sh" "$@"
2020-01-20 10:54:05 +00:00
else
2020-10-10 17:16:33 +00:00
"$(dirname "$0")/hash_modules.py" --require-build --installed "$1" "$2" &&
exec "$(dirname "$0")/build.sh" "$@"
2020-01-20 10:54:05 +00:00
fi
2020-01-20 10:40:26 +00:00
echo "No rebuild required."