From bcd3828a52c64632ee10359abbb2e003b242b8da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 5 Mar 2019 15:53:53 +0100
Subject: [PATCH] Copy instead of moving content

---
 CI/ci-source.sh | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/CI/ci-source.sh b/CI/ci-source.sh
index 1791fbcc6..d90a015b3 100755
--- a/CI/ci-source.sh
+++ b/CI/ci-source.sh
@@ -29,13 +29,13 @@ VERSION=OpenFlipper-$(cat OpenFlipper/VERSION | grep VERSION | tr -d "VERSION=")
 mkdir $VERSION
 
 # Move all files into Publishing directory
-mv OpenFlipper	     $VERSION/
-mv Plugin-*          $VERSION/
-mv PluginCollection* $VERSION/
-mv Type* 	     $VERSION/
-mv CMakeLists.txt    $VERSION/
-mv COPYING           $VERSION/
-mv Readme.md         $VERSION/
+cp -r OpenFlipper	$VERSION/
+cp -r Plugin-*          $VERSION/
+cp -r PluginCollection* $VERSION/
+cp -r Type* 	        $VERSION/
+cp -r CMakeLists.txt    $VERSION/
+cp -r COPYING           $VERSION/
+cp -r Readme.md         $VERSION/
 
 cd $VERSION
 find . -name "*git*" | xargs rm -rf
-- 
GitLab