mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 01:36:45 +00:00
wasm: Removed an unneeded compilation option.
(`-optc-wasm-use-legacy-eh=false`)
This commit is contained in:
@@ -27,8 +27,6 @@ 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