From 888a639953eaa8837d54cb51e0325ee17ad02e2c Mon Sep 17 00:00:00 2001
From: Gary Verhaegen <gary.verhaegen@digitalasset.com>
Date: Tue, 27 Feb 2024 01:08:15 +0100
Subject: [PATCH] fix release script again (#18582)

---
 ci/copy-unix-release-artifacts.sh | 2 +-
 release.sh                        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/copy-unix-release-artifacts.sh b/ci/copy-unix-release-artifacts.sh
index 7fee88fe5f1..1796ab4121a 100755
--- a/ci/copy-unix-release-artifacts.sh
+++ b/ci/copy-unix-release-artifacts.sh
@@ -27,7 +27,7 @@ bazel build //compiler/damlc:damlc-dist
 cp bazel-bin/compiler/damlc/damlc-dist.tar.gz $OUTPUT_DIR/split-release/damlc-$RELEASE_TAG-$NAME.tar.gz
 
 # Platform independent artifacts are only built on Linux.
-if [[ "$NAME" == "linux" ]]; then
+if [[ "$NAME" == "linux-intel" ]]; then
     bazel build //release:protobufs
     PROTOS_ZIP=protobufs-$RELEASE_TAG.zip
     cp bazel-bin/release/protobufs.zip $OUTPUT_DIR/github/$PROTOS_ZIP
diff --git a/release.sh b/release.sh
index d9690fa30d6..2d475e580ab 100755
--- a/release.sh
+++ b/release.sh
@@ -110,7 +110,7 @@ case $1 in
     snapshot)
         if [ -n "${2+x}" ] && [ -n "${3+x}" ]; then
             if ! commit_belongs_to_release_branch $2; then
-                echo "WARNING: Commit does not belong to a release branch."
+                echo "WARNING: Commit does not belong to a release branch." >&2
                 make_snapshot adhoc $(git rev-parse $2) $3
             else
                 make_snapshot snapshot $(git rev-parse $2) $3