diff options
Diffstat (limited to 'src/wasm-binary.h')
-rw-r--r-- | src/wasm-binary.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/wasm-binary.h b/src/wasm-binary.h index a901412e0..3047d43b7 100644 --- a/src/wasm-binary.h +++ b/src/wasm-binary.h @@ -466,6 +466,7 @@ class WasmBinaryWriter : public Visitor<WasmBinaryWriter, void> { Module* wasm; BufferWithRandomAccess& o; bool debug; + bool debugInfo = true; MixedArena allocator; @@ -484,6 +485,10 @@ public: prepare(); } + void setDebugInfo(bool set) { + debugInfo = set; + } + void write() { writeHeader(); @@ -497,7 +502,7 @@ public: writeStart(); writeFunctions(); writeDataSegments(); - writeNames(); + if (debugInfo) writeNames(); finishUp(); } |