diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/post-receive.hook | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/post-receive.hook b/tools/post-receive.hook index 8098ce8..7f8ae7e 100755 --- a/tools/post-receive.hook +++ b/tools/post-receive.hook @@ -66,7 +66,7 @@ update_patches() { echo "E: failed to hash rev $rev." >&2 continue fi - id=$(get_patch_id "$hash") + id=$(get_patch_id "$hash" || true) if [ -z "$id" ]; then echo "E: failed to find patch for rev $rev." >&2 continue |