Thanks to visit codestin.com
Credit goes to github.com

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

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

‎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)