Commit 8d552ffe authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Only complain about .local on Gitlab

parent 365a33f1

ci-support.sh

+1 −1
Original line number Diff line number Diff line
@@ -20,7 +20,7 @@ else 
  PLATFORM=Linux

fi



if test -d ~/.local; then

if test "$CI_SERVER_NAME" = "GitLab" && test -d ~/.local; then

  echo "ERROR: $HOME/.local exists. It really shouldn't."

  exit 1

fi