Skip to content
Browse files

make depend is now a separate target to avoid forcing it

  • Loading branch information...
1 parent 411f801 commit 0798da0b4ef23c15c9b37e90630ad2902e9e11ed @avsm committed Jul 12, 2014
Showing with 2 additions and 0 deletions.
  1. +2 −0 Makefile
View
2 Makefile
@@ -35,6 +35,8 @@ all: build
configure:
$(MIRAGE) configure src/config.ml $(CFLAGS) --$(MODE)
+
+depend:
cd src && $(MAKE) depend
build: configure

0 comments on commit 0798da0

Please sign in to comment.
Something went wrong with that request. Please try again.