ocaml-cil/cil-1.7.3-enable-ocamlopt-g...

8 lines
230 B
Diff

--- cil-1.7.3/_tags~ 2013-07-24 16:07:11.000000000 +0100
+++ cil-1.7.3/_tags 2013-09-14 16:23:32.520889558 +0100
@@ -4,3 +4,4 @@
"test": not_hygienic
# build every cmo in debug mode (for cil.cma)
<**/*.cmo>: debug
+true: debug