Set CODEQL_DIST before calling CodeQL CLI

edoardopirovano · edoardopirovano · commit 3e5013e26050 · 2021-09-17T12:22:32.000+01:00
diff --git a/gh-codeql b/gh-codeql
@@ -168,4 +168,5 @@ if [ -z "$version" ]; then
     version="$(gh config get extensions.codeql.version)"
 fi
 download "$version"
+export CODEQL_DIST="$rootdir/dist/$channel/$version"
 exec "$rootdir/dist/$channel/$version/codeql" "$@"
