From: Ben Gras Date: Mon, 12 Sep 2005 14:17:09 +0000 (+0000) Subject: Make commands and contrib optional X-Git-Tag: v3.1.0~115 X-Git-Url: http://zhaoyanbai.com/repos/ddns-confgen.html?a=commitdiff_plain;h=768c95ad7d3305b64d4b84dd558d91a1817030d2;p=minix.git Make commands and contrib optional --- diff --git a/Makefile b/Makefile index ec4a0f8b7..11cf4f81e 100755 --- a/Makefile +++ b/Makefile @@ -34,20 +34,20 @@ libraries: cd lib && $(MAKE) install cmds: - cd commands && $(MAKE) all + if [ -f commands/Makefile ] ; then cd commands && $(MAKE) all; fi bigcmds: - cd commands && $(MAKE) bigall + if [ -f commands/Makefile ] ; then cd commands && $(MAKE) bigall; fi contribs: if [ -f contrib/Makefile ]; then cd contrib && $(MAKE) all; fi install:: - cd commands && $(MAKE) $@ + if [ -f commands/Makefile ] ; then cd commands && $(MAKE) install; fi if [ -f contrib/Makefile ]; then cd contrib && $(MAKE) install; fi biginstallcmds:: - cd commands && $(MAKE) biginstall + if [ -f commands/Makefile ] ; then cd commands && $(MAKE) biginstall; fi depend:: mkdep kernel