From 5d6a9a4b2c4ac4e1245896f441ab0bcb5828ae4a Mon Sep 17 00:00:00 2001
From: Martin Thomson <martin.thomson@gmail.com>
Date: Wed, 29 Aug 2018 16:30:01 +1000
Subject: try: -p linux64-fuzz -u gtest -t none

---
 fuzz/config/git-copy.sh | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'fuzz')

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
-- 
cgit v1.2.1