      SHELL = /bin/sh
       MAKE = make
      FLAGS = $(MFLAGS) -f Makefile.ini BOOTSTRAPCFLAGS="$(BOOTSTRAPCFLAGS)"

all:
	$(MAKE) $(FLAGS) World
