CI: lint: fix not working as pre-commit symlink (MR 19)

Throw in another realpath, so TOPDIR works as expected after:
  ln -s $PWD/.ci/lint.sh .git/hooks/pre-commit
This commit is contained in:
Oliver Smith 2021-12-04 16:41:21 +01:00
parent 5b1ace4f24
commit fa65935111
No known key found for this signature in database
GPG key ID: 5AE7F5513E0885CB

View file

@ -7,7 +7,7 @@
# simple shell script for now. This script needs find and GNU grep (for -P) and
# a shell that knows "local".
TOPDIR="$(realpath "$(dirname "$0")/..")"
TOPDIR="$(realpath "$(dirname "$(realpath "$0")")/..")"
CURRENT_FILE=""
EXIT_CODE=0