Lines Matching full:make
4 rem This file is part of GNU Make.
6 rem GNU Make is free software; you can redistribute it and/or modify it under
11 rem GNU Make is distributed in the hope that it will be useful, but WITHOUT
17 rem with GNU Make; see the file COPYING. If not, write to the Free Software
20 echo Configuring MAKE for DJGPP
38 rem Do they have Make?
39 redir -o junk.$$$ -eo make -n -f NUL
40 rem REDIR will return 1 if it cannot run Make.
41 rem If it can run Make, it will usually return 2,
46 echo No Make program found--use DOSBUILD.BAT to build Make.
49 rem They do have Make. Generate the Makefile.
55 if not "%XSRC%"=="." echo Invoke Make thus: "make srcdir=%XSRC%"
