From 0d24c9fd3683c34e5a29ac43e2f1a60edf7a1419 Mon Sep 17 00:00:00 2001 From: Markus Westerlind Date: Sun, 25 Oct 2020 15:41:26 +0100 Subject: [PATCH] Fix publish --- scripts/publish.sh | 2 +- scripts/sync_publish.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 scripts/sync_publish.sh diff --git a/scripts/publish.sh b/scripts/publish.sh index dfa61f3b27..7c59cc11f8 100755 --- a/scripts/publish.sh +++ b/scripts/publish.sh @@ -33,7 +33,7 @@ for PROJECT in "${PROJECTS[@]}" do PROJECT_PATH=$(echo "$PROJECT" | sed 's/gluon_//' | sed 's/gluon/./') - if ! (sync_publish "${PROJECT_PATH}" -f "$@"); then + if ! (./scripts/sync_publish.sh "${PROJECT_PATH}" -f "$@"); then exit 1 fi done diff --git a/scripts/sync_publish.sh b/scripts/sync_publish.sh old mode 100644 new mode 100755