diff options
Diffstat (limited to 'fuzz/config/git-copy.sh')
| -rwxr-xr-x | fuzz/config/git-copy.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/fuzz/config/git-copy.sh b/fuzz/config/git-copy.sh index ff11dd02f..13892bc90 100755 --- a/fuzz/config/git-copy.sh +++ b/fuzz/config/git-copy.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -set -ex +set -e if [ $# -lt 3 ]; then echo "Usage: $0 <repo> <branch> <directory>" 1>&2 @@ -17,7 +17,6 @@ if [ -z "$ACTUAL" ]; then # Use this directly on the hope that it works. ACTUAL="$COMMIT" fi -echo "Using commit hash '$ACTUAL'" if [ -f "$DIR"/.git-copy ]; then CURRENT=$(cat "$DIR"/.git-copy) if [ "$CURRENT" = "$ACTUAL" ]; then @@ -27,8 +26,7 @@ if [ -f "$DIR"/.git-copy ]; then fi rm -rf "$DIR" -git --version git init -q "$DIR" -git -C "$DIR" pull -q --depth=1 "$REPO" "$ACTUAL" +git -C "$DIR" pull -q --depth=1 "$REPO" "$COMMIT" git -C "$DIR" rev-parse --verify HEAD > "$DIR"/.git-copy rm -rf "$DIR"/.git |