mirror of
https://github.com/github/codeql.git
synced 2026-07-23 04:02:07 +02:00
10 lines
278 B
Bash
Executable File
10 lines
278 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -eu
|
|
|
|
exec "${CODEQL_EXTRACTOR_UNIFIED_ROOT}/tools/${CODEQL_PLATFORM}/extractor" \
|
|
extract \
|
|
--file-list "$1" \
|
|
--source-archive-dir "$CODEQL_EXTRACTOR_UNIFIED_SOURCE_ARCHIVE_DIR" \
|
|
--output-dir "$CODEQL_EXTRACTOR_UNIFIED_TRAP_DIR"
|