From be24c64426061c2b8b7e5c7416cae138a6209e82 Mon Sep 17 00:00:00 2001
From: Vojtech Forejt <forejtv@gmail.com>
Date: Sat, 26 Nov 2016 19:25:25 +0000
Subject: [PATCH] Fix libzip-download make rule broken in
 https://github.com/diffblue/cbmc/commit/6b21f364f215a4bf9b5884b727943486d50f7827

---
 src/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 717737187de..06a973118dd 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -96,10 +96,10 @@ libzip-download:
 	# The below wants SSL
 	#@lwp-download http://www.nih.at/libzip/libzip-1.1.2.tar.gz
 	@lwp-download http://http.debian.net/debian/pool/main/libz/libzip/libzip_1.1.2.orig.tar.gz
-	@tar xfz libzip-1.1.2.tar.gz
+	@tar xfz libzip_1.1.2.orig.tar.gz
 	@rm -Rf ../libzip
 	@mv libzip-1.1.2 ../libzip
-	@rm libzip-1.1.2.tar.gz
+	@rm libzip_1.1.2.orig.tar.gz
 
 libzip-build:
 	@echo "Building zlib"