hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

QL: Rename extractor to codeql-extractor-ql

Browse Source
This commit is contained in:
Harry Maclean
2023-04-19 06:30:09 +00:00
parent ab4eba11ec
commit 30468dd059
4 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ql/scripts/create-extractor-pack.sh
View File

@@ -20,11 +20,11 @@ else
fi
cargo build --release
cargo run --release --bin codeql-ql-extractor -- generate --dbscheme ql/src/ql.dbscheme --library ql/src/codeql_ql/ast/internal/TreeSitter.qll
cargo run --release --bin codeql-extractor-ql -- generate --dbscheme ql/src/ql.dbscheme --library ql/src/codeql_ql/ast/internal/TreeSitter.qll
$CODEQL_BINARY query format -i ql/src/codeql_ql/ast/internal/TreeSitter.qll
rm -rf extractor-pack
mkdir -p extractor-pack
cp -r codeql-extractor.yml tools ql/src/ql.dbscheme ql/src/ql.dbscheme.stats extractor-pack/
mkdir -p extractor-pack/tools/${platform}
cp target/release/codeql-ql-extractor extractor-pack/tools/${platform}/extractor
cp target/release/codeql-extractor-ql extractor-pack/tools/${platform}/extractor