You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: runtime/wasm/dune
+4-4Lines changed: 4 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -37,12 +37,12 @@
37
37
(action
38
38
(progn
39
39
(system
40
-
"which wasm-merge > /dev/null || (echo 'Error: Binaryen tools not found in the PATH'; false)")
40
+
"which wasm-merge%{ext_exe} > /dev/null || (echo 'Error: Binaryen tools not found in the PATH'; false)")
41
41
(system
42
-
"wasm-merge --version | grep -q 'version \\(11[89]\\|1[2-9][0-9]\\)' || (echo 'Error: Binaryen version 118 or greater is currently required'; false)")
42
+
"wasm-merge%{ext_exe} --version | grep -q 'version \\(11[89]\\|1[2-9][0-9]\\)' || (echo 'Error: Binaryen version 118 or greater is currently required'; false)")
0 commit comments