projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4237d0b) | patch
maint.mk: use $(MAKE) $(AM_MAKEFLAGS) not make
authorRalf Wildenhues <Ralf.Wildenhues@gmx.de>
Sat, 14 Mar 2009 16:07:45 +0000 (17:07 +0100)
committerRalf Wildenhues <Ralf.Wildenhues@gmx.de>
Sat, 14 Mar 2009 16:07:45 +0000 (17:07 +0100)
commit77d1b17de32d8299a8c550944b922e55db5dc22e
tree24ca1a18e19f74d377e217a4a034b09c013c8264tree | snapshot
parent4237d0b164f7d7ba9d94a6bd9c9647c30b3c07f0commit | diff
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>
ChangeLog diff | blob | history
top/maint.mk diff | blob | history
gnulib debian + stable branches