8000 Merge pull request #5 from github/edoardo/set-codeql-dist · github/gh-codeql@7125962 · GitHub
[go: up one dir, main page]
Skip to content

Commit 7125962

Browse files
edoardopirovanoedoardopirovano
authored
Merge pull request #5 from github/edoardo/set-codeql-dist
Set `CODEQL_DIST` before calling CodeQL CLI
2 parents cdc485f + 3e5013e commit 7125962

File tree

Collapse file tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎gh-codeql

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -168,4 +168,5 @@ if [ -z "$version" ]; then
168168
version="$(gh config get extensions.codeql.version)"
169169
fi
170170
download "$version"
171+
export CODEQL_DIST="$rootdir/dist/$channel/$version"
171172
exec "$rootdir/dist/$channel/$version/codeql" "$@"

0 commit comments

Comments
 (0)
0