]> Cypherpunks repositories - gostls13.git/commitdiff
[dev.boringcrypto] misc/boring: make merge.sh and release.sh a little more robust
authorFilippo Valsorda <filippo@golang.org>
Wed, 26 Feb 2020 16:59:05 +0000 (11:59 -0500)
committerFilippo Valsorda <filippo@golang.org>
Fri, 28 Feb 2020 21:30:04 +0000 (21:30 +0000)
Change-Id: Ie5f48a542889be5d5a15c16b6bd8ce19ee0f5bdd
Reviewed-on: https://go-review.googlesource.com/c/go/+/221277
Reviewed-by: Katie Hockman <katie@golang.org>
misc/boring/merge.sh
misc/boring/release.sh

index 9809b224b349b88ab1b7213d8500d6894d4a495e..7f1a39c48ed99186bd0626103633862216354b7d 100755 (executable)
@@ -9,7 +9,6 @@ if [ "$#" -ne 2 ]; then
     exit 1
 fi
 
-set -x
 TARGET="$1"
 SOURCE="$2"
 WORKTREE="$(mktemp -d)"
@@ -20,11 +19,12 @@ git worktree add --track -b "$BRANCH" "$WORKTREE" "origin/$TARGET"
 
 cd "$WORKTREE"
 export GIT_GOFMT_HOOK=off
-git merge -m "all: merge $SOURCE into $TARGET" "$SOURCE" || \
-    (git rm VERSION && git commit -m "all: merge $SOURCE into $TARGET")
+git merge --no-commit "$SOURCE" || echo "Ignoring conflict..."
+[[ -f VERSION ]] && git rm -f VERSION
+git commit -m "all: merge $SOURCE into $TARGET"
 
-if ! git log --format=%B -n 1 | grep "\[dev.boringcrypto"; then
-    echo "The commit does not seem to be targeting a BoringCrypto branch."
+if ! git log --format=%B -n 1 | grep "\[$TARGET\] "; then
+    echo "The commit does not seem to be targeting the BoringCrypto branch."
     exit 1
 fi
 
index 09a11db5c5c8404add1e5b44a511e622630f10ac..e7168bfbd8c88f59c71bdbd2d9adee0f8928bcd5 100755 (executable)
@@ -8,7 +8,9 @@ if [ "$#" -eq 0 ]; then
     exit 1
 fi
 
-set -x
+# Check that the Docker daemon is available.
+docker ps > /dev/null
+
 WORKTREE="$(mktemp -d)"
 BRANCH="boring/release-$(date +%Y%m%d%H%M%S)"