mirror of
https://github.com/github/codeql.git
synced 2026-05-18 21:27:08 +02:00
cea862bfb3
This is built with copilot, via a number of iterations and run various test. But it should by no means be considered production ready. I'm looking for feeback on how to take this forward.
14 lines
302 B
Bash
Executable File
14 lines
302 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -eu
|
|
|
|
exec "${CODEQL_DIST}/codeql" database index-files \
|
|
--prune="**/*.testproj" \
|
|
--include-extension=.php \
|
|
--include-extension=.phtml \
|
|
--include-extension=.inc \
|
|
--size-limit=5m \
|
|
--language=php \
|
|
--working-dir=.\
|
|
"$CODEQL_EXTRACTOR_PHP_WIP_DATABASE"
|