diff options
Diffstat (limited to 'fuzz')
-rwxr-xr-x | fuzz/config/git-copy.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/fuzz/config/git-copy.sh b/fuzz/config/git-copy.sh index 01e5ecdb2..ff11dd02f 100755 --- a/fuzz/config/git-copy.sh +++ b/fuzz/config/git-copy.sh @@ -27,6 +27,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" rev-parse --verify HEAD > "$DIR"/.git-copy |