diff options
author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-05 17:38:07 +0100 |
---|---|---|
committer | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-04-05 17:38:07 +0100 |
commit | 7201b0f0daf484ee326dcd13f3c1348b3f96f626 (patch) | |
tree | 9cd694df79ace2d3586ea1e516820a41d061371e /reproduce/analysis/make/prepare.mk | |
parent | c2b36cc6b6c62b5f19745703c65df7cfa8b84cc4 (diff) |
Including version number of Minizip in its installation target
Until this commit, only the word `Minizip' was written into the Minizip
installation target (without the version number of Minizip). With this
commit, this minor bug has been fixed by using the appropiate Make
variable: `$(minizip-version)'.
Diffstat (limited to 'reproduce/analysis/make/prepare.mk')
0 files changed, 0 insertions, 0 deletions