diff options
| author | Martin Thomson <martin.thomson@gmail.com> | 2018-08-29 16:06:58 +1000 |
|---|---|---|
| committer | Martin Thomson <martin.thomson@gmail.com> | 2018-08-29 16:06:58 +1000 |
| commit | e14d79180751d80bb075627e151e18659a453036 (patch) | |
| tree | ba035c618681be0735e5b59e3a26f3ea54190054 /fuzz/config | |
| parent | 6180cf1741f67e369c84a791e87ccff813f9c097 (diff) | |
| download | nss-hg-e14d79180751d80bb075627e151e18659a453036.tar.gz | |
try: -p linux64-fuzz -u gtest -t none
Diffstat (limited to 'fuzz/config')
| -rwxr-xr-x | fuzz/config/git-copy.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/fuzz/config/git-copy.sh b/fuzz/config/git-copy.sh index 2e57a6999..01e5ecdb2 100755 --- a/fuzz/config/git-copy.sh +++ b/fuzz/config/git-copy.sh @@ -28,7 +28,6 @@ fi rm -rf "$DIR" git init -q "$DIR" -git -C "$DIR" fetch -q --depth=1 "$REPO" "$ACTUAL" -git -C "$DIR" checkout "$ACTUAL" +git -C "$DIR" pull -q --depth=1 "$REPO" "$ACTUAL" git -C "$DIR" rev-parse --verify HEAD > "$DIR"/.git-copy rm -rf "$DIR"/.git |