v.pref: allow for -os wasm32_emscripten and later filtering _d_wasm32_emscripten.c.v and _notd_wasm32_emscripten.c.v files.
#12966
| Job | Run time |
|---|---|
| 2m 47s | |
| 1m 47s | |
| 4m 34s |