diff options
| -rwxr-xr-x | .githooks/pre-commit | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.githooks/pre-commit b/.githooks/pre-commit index be06c22512..24801104fe 100755 --- a/.githooks/pre-commit +++ b/.githooks/pre-commit @@ -40,6 +40,7 @@ abuild_local_sources() { set -eu status=0 + : ${source:=""} for src in $source; do # Skip remote sources. case "$src" in */*) continue;; esac |