From: Ben Gras Date: Tue, 24 Oct 2006 14:20:59 +0000 (+0000) Subject: Don't do make clean if flex Makefile doesn't exist. X-Git-Tag: v3.1.3~164 X-Git-Url: http://zhaoyanbai.com/repos/man.ddns-confgen.html?a=commitdiff_plain;h=4933f347152579dd406fdcdf69b11aa704d14ea5;p=minix.git Don't do make clean if flex Makefile doesn't exist. --- diff --git a/commands/Makefile b/commands/Makefile index a2a41a0dc..1030ccf1c 100755 --- a/commands/Makefile +++ b/commands/Makefile @@ -37,9 +37,8 @@ biginstall: big clean:: cd $(BZIP2) && make clean - cd $(FLEX) && make clean cd zmodem && make clean - if [ -f $(FLEX)/Makefile ]; then cd $(FLEX) && make clean ; fi + if [ -f $(FLEX)/Makefile ]; then cd $(FLEX) && make distclean ; fi for p in $(SMALLPROGRAMS); do ( cd $$p && make clean ); done small::