GNU make 4.2.1 released

2016-06-11 Thread Paul Smith
    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://www.gnu.org/software/make/ ---

docker image for building gnu make

2016-06-11 Thread Martin d'Anjou
Hi, Has anyone built a docker image inside which GNU Make can be built? Thanks, Martin ___ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make