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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,4 +10,5 @@ config.h.in config.log config.status configure +dev.mk testdir.* |