From 24b75495db615a2fa7b91c33738b54fb3ea49966 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Wed, 1 Aug 2012 18:37:01 +0000
Subject: [PATCH] projects-dir.mk: Add file

Signed-off-by: Jan Lindemann <jan@jannet.de>
---
 make/projects-dir.mk | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 make/projects-dir.mk

diff --git a/make/projects-dir.mk b/make/projects-dir.mk
new file mode 100644
index 00000000..3ce74b01
--- /dev/null
+++ b/make/projects-dir.mk
@@ -0,0 +1,12 @@
+all:
+	for f in `cat projects.txt`; do make -C $$f || break; done
+clean:
+	for f in `cat projects.txt | sed '/^ *#/ d'`; do make -C $$f clean || break; done
+
+cpp:
+	@find `cat projects.txt` -name '*.cpp' | grep /worker/ | grep -ve "old\|tmp\|nomake\|new" | while read f; do d=`dirname $$f`; if [ $$d/generate_code.sh ]; then echo $$f; fi; done
+
+push:
+	@for d in `ls -d */.git | sed 's%/.git%%'`; do \
+		(echo ============= $$d; cd $$d; git push origin master) ;\
+	done