After any changes that affect code, you must verify the web build by running: ninja -j32 html5 from the emscripten directory.