more [ci skip]

tools/shared.py

diff --git a/tools/shared.py b/tools/shared.py
index fe7df04..01903ce 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -2961,6 +2961,7 @@
       temp_wasm = temp_files.get('.wasm').name
       run_process([WDWARF_CP, infile, '-o', temp_wasm, '-m', output_map, '-w', outfile])
       shutil.copyfile(temp_wasm, outfile)
+      Building.save_intermediate(outfile, '%s.wasm' % (tool + '.wtmapped'))
 
     return ret