From 7d070c5f92ce9e021c9e53156f9702ed845356a7 Mon Sep 17 00:00:00 2001 From: Blaine Bublitz Date: Sun, 15 Oct 2023 13:34:13 -0700 Subject: [PATCH] remove jsoo debug flag --- compiler/grainc/dune | 2 +- compiler/graindoc/dune | 2 +- compiler/grainformat/dune | 2 +- compiler/grainlsp/dune | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/grainc/dune b/compiler/grainc/dune index e47b42e87c..8b3b2a3f40 100644 --- 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 index dbedf6d255..5154edb209 100644 --- 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 index 476b2fd190..99cfa97ef1 100644 --- 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 index 12dc40fe98..3c54511835 100644 --- 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)))