THIS IS A TEST INSTANCE ONLY! REPOSITORIES CAN BE DELETED AT ANY TIME!

Browse Source

githooks: fix pre-commit hook to allow empty source

tags/v3.9.0_rc1
Natanael Copa 8 months ago
parent
commit
a40a9732c8
1 changed files with 1 additions and 0 deletions
  1. 1
    0
      .githooks/pre-commit

+ 1
- 0
.githooks/pre-commit View File

@@ -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

Loading…
Cancel
Save