mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
10 lines
263 B
Bash
Executable File
10 lines
263 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -eu
|
|
|
|
exec "${CODEQL_EXTRACTOR_QL_ROOT}/tools/${CODEQL_PLATFORM}/extractor" \
|
|
extract \
|
|
--file-list "$1" \
|
|
--source-archive-dir "$CODEQL_EXTRACTOR_QL_SOURCE_ARCHIVE_DIR" \
|
|
--output-dir "$CODEQL_EXTRACTOR_QL_TRAP_DIR"
|