CVS commit: src/tools/gmake

2014-08-17 Thread Christos Zoulas
Module Name:src Committed By: christos Date: Mon Aug 18 06:58:52 UTC 2014 Modified Files: src/tools/gmake: Makefile Log Message: switch to the new gmake To generate a diff of this commit: cvs rdiff -u -r1.3 -r1.4 src/tools/gmake/Makefile Please note that diffs are not p

CVS commit: src/tools/gmake

2013-08-16 Thread Grégoire Sutre
Module Name:src Committed By: gsutre Date: Fri Aug 16 10:29:32 UTC 2013 Modified Files: src/tools/gmake: Makefile Log Message: Use makeinfo built from src/tools/texinfo. Fixes PR toolchain/48123. ok apb@ To generate a diff of this commit: cvs rdiff -u -r1.2 -r1.3 src/to