diff options
| author | Joel Rosdahl <joel@rosdahl.net> | 2010-02-26 21:24:09 +0100 |
|---|---|---|
| committer | Joel Rosdahl <joel@rosdahl.net> | 2010-02-26 21:24:09 +0100 |
| commit | 1af0bd848651c62cdf72eea9918f5d57402de838 (patch) | |
| tree | d89ebafda73e4fba6b6ae8f0e23c65a53daa279f /autogen.sh | |
| parent | f9cf675f44d23330d5673c689dade222a3aa283c (diff) | |
| download | ccache-1af0bd848651c62cdf72eea9918f5d57402de838.tar.gz | |
Portability: don't require GNU make
The part of Makefile.in that requires GNU make has been split into dev.mk.in,
and the configure script has learned a new --enable-dev option that makes
Makefile include dev.mk. The configure script doesn't check for GNU make
anymore. There is also a new configure-dev convenience script that runs
configure with --enable-dev.
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,4 +4,4 @@ set -e autoheader autoconf -echo "Now run ./configure and make" +echo "Now run ./configure-dev and make" |