From f2ddc2cf5adcd0f9fcf0735ebed7f476087e7231 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Sat, 1 Feb 2014 21:46:13 +0100
Subject: [PATCH] clean rule in master makefile

---
 makefile | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/makefile b/makefile
index baa09727a4..474f166440 100644
--- a/makefile
+++ b/makefile
@@ -5,6 +5,8 @@ BINFOLDER = bin
 SUBDIRS_LIBS = alib adeterminize
 SUBDIRS_BINS = acat aconvert aconvert.dot aconvert.gastex aconvert.regexp aconvert.automaton aminimize adeterminize.fsm adiff adiff.automaton adiff.grammar aepsilon
 
+SUBDIRS_WITH_MAKE = $(dir $(wildcard */makefile))
+
 .PHONY: $(SUBDIRS_LIBS) $(SUBDIRS_BINS)
 
 all: $(SUBDIRS_LIBS) $(SUBDIRS_BINS) copy
@@ -15,6 +17,11 @@ $(SUBDIRS_LIBS):
 $(SUBDIRS_BINS):
 	$(MAKE) -C $@
 
+clean:
+	for dir in $(SUBDIRS_WITH_MAKE); do \
+	    $(MAKE) -C $$dir clean; \
+	done
+
 copy:
 	mkdir -p $(BINFOLDER)
 	rm -rf $(BINFOLDER)/*
-- 
GitLab