From 4933f347152579dd406fdcdf69b11aa704d14ea5 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Tue, 24 Oct 2006 14:20:59 +0000
Subject: [PATCH] Don't do make clean if flex Makefile doesn't exist.

---
 commands/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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::
-- 
2.44.0