Commit 7ba35df0 authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

If .local exists, show contents

parent 8d552ffe

ci-support.sh

+2 −1
Original line number Diff line number Diff line
@@ -21,7 +21,8 @@ else 
fi



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

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

  echo "ERROR: $HOME/.local exists. It really shouldn't. Here's what it contains:"

  find ~/.local

  exit 1

fi