From e843cdeb0fa816b17d11ff82d47058140f1f6771 Mon Sep 17 00:00:00 2001
From: "Bernhard J. Berger" <bernhard.berger@uni-bremen.de>
Date: Fri, 3 Feb 2023 16:29:41 +0100
Subject: [PATCH] Fixed wrong path.
---
ci/create-release.sh | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/ci/create-release.sh b/ci/create-release.sh
index ecbc9db9..a38a63c2 100755
--- a/ci/create-release.sh
+++ b/ci/create-release.sh
@@ -39,13 +39,13 @@ popd
rm -rf xtext-merge
# let's copy the scripts to the correct location
-mkdir bin
+mkdir evoal/bin
-cp -r src/core/de.evoal.core/scripts/* "bin"
+cp -r ../src/core/de.evoal.core/scripts/* "bin"
for NAME in $RELEASE_PLUGINS; do
echo "Copying scripts of plugin $NAME"
- if [ -e src/core/de.evoal.$NAME/scripts ]; then
- cp -r src/core/de.evoal.$NAME/scripts/* bin
+ if [ -e ../src/core/de.evoal.$NAME/scripts ]; then
+ cp -r ../src/core/de.evoal.$NAME/scripts/* bin
fi
done
\ No newline at end of file
--
GitLab