Make commands and contrib optional

diff --git a/Makefile b/Makefile
index ec4a0f8b76901f6dbbd4f2fbb01b1b41c72d2cf5..11cf4f81e68411ca1002f16fac61d75b7a1c9844 100755 (executable)
--- 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