Re: GNU Make 4.2 released!

2016-05-23 Thread Dagobert Michelsen
Hi Paul, Am 22.05.2016 um 15:58 schrieb Paul Smith : > The next stable release of GNU make, 4.2, is available now for download: > > 85ad14d08766201ffe71efa866f4fb91 make-release/make-4.2.tar.bz2 > 1141ca815c806a5bfedbbaa1551410f3 make-release/make-4.2.tar.gz I just tried making a packa

GNU Make 4.2 released!

2016-05-22 Thread Paul Smith
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 GNU make is a tool which controls the generation of executables and other non-source files of a program from the program's source files. You can learn more at: http:/