21 lines
463 B
Bash
Executable File
21 lines
463 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
launcher="$1"
|
|
|
|
python3 - "${launcher}" <<'PY'
|
|
import json
|
|
import pathlib
|
|
import sys
|
|
|
|
path = pathlib.Path(sys.argv[1])
|
|
if path.suffix.lower() == ".cmd":
|
|
path = pathlib.Path(str(path)[:-4])
|
|
spec = json.loads(pathlib.Path(f"{path}.launcher.json").read_text())
|
|
|
|
assert spec["coverage"] is True, spec
|
|
assert spec["preload_short_paths"], spec
|
|
assert spec["env_file_short_paths"], spec
|
|
assert spec["test_short_paths"], spec
|
|
PY
|