Home | History | Annotate | Line # | Download | only in dist 
      1 # Usage: 
      2 #	make makefiles [name=value]...
      3 #
      4 # See makedefs for a description of available options.
      5 # Examples:
      6 #
      7 #	make makefiles
      8 #	make makefiles CC="purify cc"
      9 #	make makefiles CC=cc OPT=
     10 #
     11 SHELL	= /bin/sh
     12 
     13 default: update
     14 
     15 update depend clean tidy depend_update: Makefiles
     16 	$(MAKE) MAKELEVEL= $@
     17 
     18 install upgrade:
     19 	@echo Please review the INSTALL instructions first.
     20 
     21 makefiles Makefiles:
     22 	$(MAKE) -f Makefile.in MAKELEVEL= Makefiles
     23