1 # This is the developer's makefile, not the user's makefile.
2 # Don't use it unless you know exactly what you do!
5 # Some important programs:
10 SUBMAKEFILES := $(shell find . -name Makefile.devel)
13 for file in $(SUBMAKEFILES); do dir=`dirname $$file`; if test "$$dir" != "."; then (cd $$dir; $(MAKE) -f Makefile.devel) ; fi ; done