]> Zhao Yanbai Git Server - minix.git/commitdiff
Also work if there is no contrib
authorBen Gras <ben@minix3.org>
Sun, 11 Sep 2005 15:21:50 +0000 (15:21 +0000)
committerBen Gras <ben@minix3.org>
Sun, 11 Sep 2005 15:21:50 +0000 (15:21 +0000)
Makefile

index 79f4e0884d5cd6fd33ffa13fca8c50cda1250a67..ec4a0f8b76901f6dbbd4f2fbb01b1b41c72d2cf5 100755 (executable)
--- a/Makefile
+++ b/Makefile
@@ -60,7 +60,7 @@ depend::
 
 clean::
        cd lib && $(MAKE) $@
-       cd contrib && $(MAKE) $@
+       if [ -f contrib/Makefile ]; then cd contrib && $(MAKE) $@; fi
        test ! -f commands/Makefile || { cd commands && $(MAKE) $@; }
        if [ -f contrib/Makefile ]; then cd contrib && $(MAKE) clean; fi