fixed dump push

.ci/test.sh

@@ -67,20 +67,20 @@ echo "$0: cloning the package"
 # clone and checkout
 echo "$THIS_TEST_REPOS" | while IFS= read -r REPO; do
 
-  cd $WORKSPACE/src
+cd $WORKSPACE/src
 
-  PACKAGE=$(echo "$REPO" | awk '{print $1}')
-  URL=$(echo "$REPO" | awk '{print $2}')
-  BRANCH=$(echo "$REPO" | awk '{print $3}')
-  GITMAN=$(echo "$REPO" | awk '{print $4}')
+PACKAGE=$(echo "$REPO" | awk '{print $1}')
+URL=$(echo "$REPO" | awk '{print $2}')
+BRANCH=$(echo "$REPO" | awk '{print $3}')
+GITMAN=$(echo "$REPO" | awk '{print $4}')
 
-  [ ! -e ${PACKAGE} ] && echo "$0: cloning '$URL --depth 1 --branch $BRANCH' into '$PACKAGE'" || echo "$0: not cloning, already there"
-  [ ! -e ${PACKAGE} ] && git clone $URL --recurse-submodules --shallow-submodules --depth 1 --branch $BRANCH $PACKAGE || echo "$0: not cloning, already there"
+[ ! -e ${PACKAGE} ] && echo "$0: cloning '$URL --depth 1 --branch $BRANCH' into '$PACKAGE'" || echo "$0: not cloning, already there"
+[ ! -e ${PACKAGE} ] && git clone $URL --recurse-submodules --shallow-submodules --depth 1 --branch $BRANCH $PACKAGE || echo "$0: not cloning, already there"
 
-  if [[ "$GITMAN" == "True" ]]; then
-    cd $PACKAGE
-    [[ -e .gitman.yml || -e .gitman.yaml ]] && gitman install || echo "no gitman modules to install"
-  fi
+if [[ "$GITMAN" == "True" ]]; then
+  cd $PACKAGE
+  [[ -e .gitman.yml || -e .gitman.yaml ]] && gitman install || echo "no gitman modules to install"
+fi
 
 done
 
@@ -148,7 +148,7 @@ mkdir -p "$d"
 cd "$d"
 
 mv /tmp/coredump/* ./
-cp -L $WORKSPACE/devel/lib/*.so ./
+cp -L $WORKSPACE/devel/lib/*.so ./ || echo "$0: no .so files to copy"
 
 sudo apt-get -y install aptitude
 aptitude search -F '%p %V' --disable-columns '~S ~i ?origin("ctu-mrs")' > installed_packages.txt