This commit is contained in:
Nintorch 2026-06-05 14:01:23 -06:00 committed by GitHub
commit ded2fd8610
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
9 changed files with 607 additions and 5 deletions

View file

@ -631,7 +631,7 @@ def spec_to_job(spec: JobSpec, key: str, trackmem_symbol_names: bool, ctest_args
"-ffile-prefix-map=${PWD}=/SDL",
))
job.ldflags.extend((
"--source-map-base", "/",
"--source-map-base", "/", "-s", "ASYNCIFY",
))
pretest_cmd.extend((
"# Start local HTTP server",