diff --git a/.ci/lint.sh b/.ci/lint.sh
index b6b22c0..7c68e6a 100755
--- a/.ci/lint.sh
+++ b/.ci/lint.sh
@@ -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