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