Simpler way to enable -g (also enables it for executables).
This commit is contained in:
parent
c1c952f152
commit
c09fd5d5b2
|
@ -4,4 +4,4 @@
|
||||||
"test": not_hygienic
|
"test": not_hygienic
|
||||||
# build every cmo in debug mode (for cil.cma)
|
# build every cmo in debug mode (for cil.cma)
|
||||||
<**/*.cmo>: debug
|
<**/*.cmo>: debug
|
||||||
+<**/*.cmx>: debug
|
+true: debug
|
||||||
|
|
Loading…
Reference in New Issue