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/analysis/make/top-make.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/analysis/make/top-make.mk')
0 files changed, 0 insertions, 0 deletions