Commit 0a5a93ad authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Complain about .local/lib, not .local

parent 35e873d8

ci-support.sh

+3 −3
Original line number Diff line number Diff line
@@ -20,9 +20,9 @@ else 
  PLATFORM=Linux

fi



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

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

  find ~/.local

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

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

  find ~/.local/lib

  exit 1

fi