diff --git a/tools/make/RULES_DM b/tools/make/RULES_DM new file mode 100644 index 0000000000000000000000000000000000000000..7d6a5c19eb542be1bbb4795d57fc03802d529e36 --- /dev/null +++ b/tools/make/RULES_DM @@ -0,0 +1,15 @@ +all: + for d in $(SUBDIRS); do $(MAKE) -C $$d $(ARCH); done + +dist: + for d in $(SUBDIRS); do $(MAKE) -C $$d $(ARCH); done + +clean: + for d in $(SUBDIRS); do $(MAKE) -C $$d clean; done + +distclean: + for d in $(SUBDIRS); do $(MAKE) -C $$d distclean; done + for d in $(SUBDIRS); do rm -f `find $$d -name 'RELEASE.local'`; done + +tidy: distclean +