Parcourir la source

Makefile cleanup

Taddeus Kroes il y a 12 ans
Parent
commit
c3a611e667
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. 1 1
      Makefile

+ 1 - 1
Makefile

@@ -9,8 +9,8 @@ SOURCES := $(addsuffix .mli,$(GLOBALS)) $(addsuffix .ml,$(GLOBALS)) \
 PRE_TARGETS := types.ml $(addsuffix .cmi,$(GLOBALS))
 LIBS := str unix
 
+# Set debugging flag to enable exception backtraces for OCAMLRUNPARAM=b
 OCAMLFLAGS := -g
-OCAMLDOCFLAGS :=
 
 OCAMLYACC := menhir
 YFLAGS := --infer --explain