diff options
author | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2009-03-14 17:07:45 +0100 |
---|---|---|
committer | Ralf Wildenhues <Ralf.Wildenhues@gmx.de> | 2009-03-14 17:07:45 +0100 |
commit | 77d1b17de32d8299a8c550944b922e55db5dc22e (patch) | |
tree | 24ca1a18e19f74d377e217a4a034b09c013c8264 /doc | |
parent | 4237d0b164f7d7ba9d94a6bd9c9647c30b3c07f0 (diff) | |
download | gnulib-77d1b17de32d8299a8c550944b922e55db5dc22e.tar.gz |
maint.mk: use $(MAKE) $(AM_MAKEFLAGS) not make
* top/maint.mk (init-coverage, build-coverage): Use `$(MAKE)
$(AM_MAKEFLAGS)' rather than plain `make'.
Signed-off-by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions