Makefile

   1
   2 # Redirect to GNU make
   3
   4 .SUFFIXES:
   5
   6 default: config/finished
   7         config/bin/make
   8
   9 .DEFAULT:
  10         $(MAKE) config/finished
  11         config/bin/make $(.TARGETS)
  12
  13 # Dependency changes here should be mirrored in GNUmakefile
  14 config/finished: configure config/configure config/configure.inc config/*.in
  15         MAKE= ./configure