Fix libzip-download make rule#320

Merged

kroening merged 1 commit intodiffblue:masterfrom

forejtv:fix/libzip-tar-file

Nov 27, 2016

Commits on Nov 26, 2016

Fix libzip-download make rule broken in https://github.com/diffblue/cbmc/commit/6b21f364f215a4bf9b5884b727943486d50f7827
forejtv
committed