diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 23:30:26 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-01-19 23:30:26 +0000 |
commit | e3bbc17c051c7ccbf9e5375b85c90e5e41af2adb (patch) | |
tree | 7bca5ffe2d25d1f383df2972e54d3a8217dbc80c /reproduce/software/config/installation/versions.mk | |
parent | 8cfc728ecfb81775fd7bcfde887d1fccc4e4e8ad (diff) |
GNU Make updated to version 4.3
GNU Make 4.3 was just announced, so I have updated it here is well. This
was important because until now the installable version was in alpha-mode
(4.2.90), now its a stable version.
Diffstat (limited to 'reproduce/software/config/installation/versions.mk')
-rw-r--r-- | reproduce/software/config/installation/versions.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/software/config/installation/versions.mk b/reproduce/software/config/installation/versions.mk index 19ecf02..348a61c 100644 --- a/reproduce/software/config/installation/versions.mk +++ b/reproduce/software/config/installation/versions.mk @@ -41,7 +41,7 @@ libiconv-version = 1.16 libtool-version = 2.4.6 lzip-version= 1.20 m4-version = 1.4.18 -make-version = 4.2.90 +make-version = 4.3 metastore-version = 1.1.2-23-fa9170b mpc-version = 1.1.0 mpfr-version = 4.0.2 |