summaryrefslogtreecommitdiff
path: root/compiler/dune
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/dune')
-rw-r--r--compiler/dune4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/dune b/compiler/dune
index 4bba6a08..0d0a8017 100644
--- a/compiler/dune
+++ b/compiler/dune
@@ -84,7 +84,7 @@
-g
;-dsource
-warn-error
- -5@8-9-11-14-33-20-21-26-27-39))
+ -5@8-11-14-33-20-21-26-27-39))
(release
(flags
:standard
@@ -92,4 +92,4 @@
-g
;-dsource
-warn-error
- -5@8-9-11-14-33-20-21-26-27-39)))
+ -5@8-11-14-33-20-21-26-27-39)))