diff options
Diffstat (limited to 'security/nss/fuzz/config/git-copy.sh')
| -rw-r--r-- | security/nss/fuzz/config/git-copy.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/security/nss/fuzz/config/git-copy.sh b/security/nss/fuzz/config/git-copy.sh index a9e817e2a..fac8cbecf 100644 --- a/security/nss/fuzz/config/git-copy.sh +++ b/security/nss/fuzz/config/git-copy.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -e +set -ex if [ $# -lt 3 ]; then echo "Usage: $0 <repo> <branch> <directory>" 1>&2 @@ -28,7 +28,7 @@ fi rm -rf "$DIR" git init -q "$DIR" -git -C "$DIR" fetch -q --depth=1 "$REPO" "$COMMIT":git-copy-tmp -git -C "$DIR" reset --hard git-copy-tmp +git -C "$DIR" fetch -q --depth=1 "$REPO" "$COMMIT" +git -C "$DIR" reset -q --hard FETCH_HEAD git -C "$DIR" rev-parse --verify HEAD > "$DIR"/.git-copy rm -rf "$DIR"/.git |