mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-28 17:20:47 +08:00
Revert "wasm: Removed an unneeded compilation option."
This reverts commit 9c20cebb6d.
Closes #11787.
This commit is contained in:
@@ -29,6 +29,8 @@ if arch(wasm32)
|
||||
flags: +cross-compile
|
||||
ghc-options: -optc-mllvm
|
||||
-optc-wasm-enable-sjlj
|
||||
-optc-mllvm
|
||||
-optc-wasm-use-legacy-eh=false
|
||||
-optc-D_WASI_EMULATED_PROCESS_CLOCKS
|
||||
-optc-D_WASI_EMULATED_SIGNAL
|
||||
-optc-DLUA_STUB_TMPNAM
|
||||
|
||||
Reference in New Issue
Block a user