diff options
| author | Martin Thomson <martin.thomson@gmail.com> | 2018-08-29 15:27:57 +1000 |
|---|---|---|
| committer | Martin Thomson <martin.thomson@gmail.com> | 2018-08-29 15:27:57 +1000 |
| commit | 791519cafa453c5d2cceb2b6a11b36f1903b0d6d (patch) | |
| tree | 66719620abbf7b6a3254f6b21469bc821f00a2f3 /fuzz | |
| parent | 2be1e78401d4db94723cfb20d814711adbede732 (diff) | |
| download | nss-hg-791519cafa453c5d2cceb2b6a11b36f1903b0d6d.tar.gz | |
try: -p linux64-fuzz -u gtest
Diffstat (limited to 'fuzz')
| -rwxr-xr-x | fuzz/config/git-copy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/fuzz/config/git-copy.sh b/fuzz/config/git-copy.sh index f21b2d232..7689abf96 100755 --- a/fuzz/config/git-copy.sh +++ b/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 @@ -15,6 +15,7 @@ echo "Copy '$COMMIT' from '$REPO' to '$DIR'" if [ $(echo -n "$COMMIT" | wc -c) != "40" ]; then # On the off chance that $COMMIT is a remote head. ACTUAL=$(git ls-remote "$REPO" "$COMMIT" | cut -c 1-40 -) + echo "Using commit hash '$ACTUAL'" else ACTUAL="$COMMIT" fi |