diff --git a/tools/link.py b/tools/link.py index f1d41a1adf558..b2634271efe08 100644 --- a/tools/link.py +++ b/tools/link.py @@ -2068,15 +2068,6 @@ def phase_final_emitting(options, state, target, wasm_target): return target_dir = os.path.dirname(os.path.abspath(target)) - if settings.PTHREADS and not settings.STRICT: - worker_file = shared.replace_suffix(target, get_worker_js_suffix()) - write_file(worker_file, '''\ -// This file is no longer used by emscripten and has been created as a placeholder -// to allow build systems to transition away from depending on it. -// -// Future versions of emscripten will likely stop generating this file at all. -throw new Error('Dummy worker.js file should never be used'); -''') # Deploy the Wasm Worker bootstrap file as an output file (*.ww.js) if settings.WASM_WORKERS == 1: