Switch default version of GNU Make to 4.1.

This commit is contained in:
Peter Simons 2014-11-11 13:56:48 +01:00
parent e729dfbd3f
commit cd89c69798

View File

@ -4952,7 +4952,7 @@ let
gnumake382 = callPackage ../development/tools/build-managers/gnumake/3.82 { }; gnumake382 = callPackage ../development/tools/build-managers/gnumake/3.82 { };
gnumake40 = callPackage ../development/tools/build-managers/gnumake/4.0 { }; gnumake40 = callPackage ../development/tools/build-managers/gnumake/4.0 { };
gnumake41 = callPackage ../development/tools/build-managers/gnumake/4.1 { }; gnumake41 = callPackage ../development/tools/build-managers/gnumake/4.1 { };
gnumake = gnumake382; gnumake = gnumake41;
gob2 = callPackage ../development/tools/misc/gob2 { }; gob2 = callPackage ../development/tools/misc/gob2 { };