src/Makefile.devel

   1 # This is the developer's makefile, not the user's makefile.
   2 # Don't use it unless you know exactly what you do!
   3
   4
   5 # Some important programs:
   6 SHELL = /bin/sh
   7 MAKE = make
   8
   9
  10 SUBMAKEFILES := $(shell find . -name Makefile.devel)
  11
  12 all : force
  13         for file in $(SUBMAKEFILES); do dir=`dirname $$file`; if test "$$dir" != "."; then (cd $$dir; $(MAKE) -f Makefile.devel) ; fi ; done
  14
  15
  16 force :