From b49deb31595cecf6eff3efa432f044c403a10097 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 26 Jun 2018 17:28:38 +0200
Subject: Fix 'unbound variable' issue on Windows packaging jobs.

---
 dev/build/windows/makecoq_mingw.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'dev')

diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index a4e60744f..94e90bf4f 100644
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -1437,12 +1437,16 @@ function make_addon_equations {
 }
 
 function make_addons {
-  if [ -n "${GITLAB_CI}" ]; then
+  if [ -n "$GITLAB_CI" ]; then
     export CI_BRANCH="$CI_COMMIT_REF_NAME"
-    if [[ ${CI_BRANCH#pr-} =~ ^[0-9]*$ ]]
-    then
+    if [[ ${CI_BRANCH#pr-} =~ ^[0-9]*$ ]]; then
       export CI_PULL_REQUEST="${CI_BRANCH#pr-}"
+    else
+      export CI_PULL_REQUEST=""
     fi
+  else
+    export CI_BRANCH=""
+    export CI_PULL_REQUEST=""
   fi
   . /build/ci-basic-overlay.sh
   for overlay in /build/user-overlays/*.sh; do
-- 
cgit v1.2.3