From 801f6012fb706c053b236ffb81028645582c9ecb Mon Sep 17 00:00:00 2001
From: Ivan Zorin <ivan.a.zorin@gmail.com>
Date: Wed, 10 Apr 2024 00:16:29 +0300
Subject: [PATCH] push.yml/env.sh: set helper variable to indicate building on
 github more explicitly regardless build status (PR,merge,etc.) // hopefully
 fix for #167

---
 .github/workflows/push.yml | 2 +-
 scripts/env.sh             | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index d760ee27..697fdfed 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -35,7 +35,7 @@ jobs:
           fetch-depth: 0
 
       - name: Set git meta info
-        run: echo "GITHUB_CI_PR_SHA=${{github.event.pull_request.head.sha}}" >> "${GITHUB_ENV}"
+        run: echo "GITHUB_CI_PR_SHA=${{github.event.pull_request.head.sha}}" >> "${GITHUB_ENV}"  &&  echo "GITHUB_CI_CD=1" >> "${GITHUB_ENV}"
 
       - name: Install standalone reference GCC toolchain
         run: bash  scripts/env.sh
diff --git a/scripts/env.sh b/scripts/env.sh
index 7d65c924..111183f0 100755
--- a/scripts/env.sh
+++ b/scripts/env.sh
@@ -19,7 +19,7 @@ rm  md5.txt
 tar  xvjf  "${TARBALL}"
 rm  "${TARBALL}"
 
-if [ -n "${GITHUB_CI_PR_SHA}" ]; then
+if [ -n "${GITHUB_CI_PR_SHA}" ] || [ 1 -eq "${GITHUB_CI_CD}" ]; then
 	# This is for GitHub Actions CI/CD tooling only
 	echo  "export  PATH=\"${CURDIR}/${TARDIR}/bin\":\"\${PATH}\"" > build.env
 else