#!/bin/sh
set -eu
exec "${CODEQL_EXTRACTOR_QL_ROOT}/tools/${CODEQL_PLATFORM}/extractor" \
--file-list "$1" \
--source-archive-dir "$CODEQL_EXTRACTOR_QL_SOURCE_ARCHIVE_DIR" \
--output-dir "$CODEQL_EXTRACTOR_QL_TRAP_DIR"