15 lines
258 B
Bash
Executable File
15 lines
258 B
Bash
Executable File
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)"
|
|
. "$DIR/prelude.sh"
|
|
|
|
cd src
|
|
|
|
set -o errexit
|
|
set -o verbose
|
|
|
|
build_patch_id="${build_patch_id:-${reuse_compile_from}}"
|
|
if [ -n "${build_patch_id}" ]; then
|
|
exit 0
|
|
fi
|
|
|
|
"$1" --version >"$2"
|