diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 17 |
1 files changed, 3 insertions, 14 deletions
diff --git a/src/Makefile b/src/Makefile index 38ae6425c..f605e5a2e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,15 +1,4 @@ -SHELL = /bin/sh -MAKE = make -FLAGS = $(MFLAGS) -f Makefile.ini BOOTSTRAPCFLAGS="$(BOOTSTRAPCFLAGS)" - all: - @echo Please use make World. - @echo Check the configuration parameters in the ./config/cf directory, - @echo and pass BOOTSTRAPCFLAGS if necessary. - @echo Read the release notes carefully before proceeding. - @echo Do not name your log file make.log or it will be deleted. - @echo If the top-level Makefile gets corrupted, copy Makefile.ini - @echo to Makefile and try again. - -world: - $(MAKE) $(FLAGS) world + @echo Please read the build instructions in ../doc/HOW_TO_BUILD + @echo before proceeding. You will need to run ./configure with + @echo the appropriate arguments. |