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/software/shell/configure.sh | |
| 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/software/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions