Commits

Markus Mottl committed 2796b0c

Added extra dependency to improve parallel builds

Comments (0)

Files changed (2)

+2011-11-13: Added extra dependency to improve parallel builds.
+
+            Thanks to Edward Schwartz <edmcman@cmu.edu> for the patch!
+
 2011-11-12: Replaced obsolete suffix rules and improved link flags in gtk.
 
 2011-11-09: Fixed linking order to conform to stricter Linux linker rules.
 				$(OCAMLFLAGS) $(INCFLAGS) $<; \
 			fi
 
+%.cmi: %$(IMPL_SUF);
+
 %.cmi %.cmo %.cmx %.$(EXT_OBJ):	%.ml $(EXTRADEPS)
 			$(QUIET)pp=`sed -n -e '/^#/d' -e 's/(\*pp \([^*]*\) \*)/\1/p;q' $<`; \
 			if [ -z "$$pp" ]; then \