mirror of
https://github.com/github/codeql.git
synced 2026-05-19 05:37:10 +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.
10 lines
266 B
Bash
Executable File
10 lines
266 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -eu
|
|
|
|
exec "${CODEQL_EXTRACTOR_PHP_ROOT}/tools/${CODEQL_PLATFORM}/extractor" \
|
|
extract \
|
|
--file-list "$1" \
|
|
--source-archive-dir "$CODEQL_EXTRACTOR_PHP_SOURCE_ARCHIVE_DIR" \
|
|
--output-dir "$CODEQL_EXTRACTOR_PHP_TRAP_DIR"
|