remove jsoo debug flag

grain-lang · Oct 15, 2023 · 7d070c5 · 7d070c5
1 parent 3684336
commit 7d070c5
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/compiler/grainc/dune b/compiler/grainc/dune
@@ -9,4 +9,4 @@
    (:include ./config/flags.sexp)))
  (libraries grain grain_diagnostics binaryen dune-build-info)
  (js_of_ocaml
-  (flags --no-sourcemap --no-extern-fs --debug times)))
+  (flags --no-sourcemap --no-extern-fs)))
diff --git a/compiler/graindoc/dune b/compiler/graindoc/dune
@@ -18,4 +18,4 @@
  (preprocess
   (pps ppx_deriving_cmdliner))
  (js_of_ocaml
-  (flags --no-sourcemap --no-extern-fs --debug times)))
+  (flags --no-sourcemap --no-extern-fs)))
diff --git a/compiler/grainformat/dune b/compiler/grainformat/dune
@@ -12,4 +12,4 @@
  (preprocess
   (pps ppx_deriving_cmdliner))
  (js_of_ocaml
-  (flags --no-sourcemap --no-extern-fs --debug times)))
+  (flags --no-sourcemap --no-extern-fs)))
diff --git a/compiler/grainlsp/dune b/compiler/grainlsp/dune
@@ -10,5 +10,5 @@
  (libraries cmdliner grain_utils grain_language_server grain_formatting
    dune-build-info)
  (js_of_ocaml
-  (flags --no-sourcemap --no-extern-fs --debug times)
+  (flags --no-sourcemap --no-extern-fs)
   (javascript_files hacks.js)))