From 993961c2a42ccd2ced89e7727368f474226b4c7e Mon Sep 17 00:00:00 2001
From: "Adam C. Foltzer" <acfoltzer@galois.com>
Date: Tue, 3 Mar 2015 13:31:41 -0800
Subject: [PATCH] remove icry directory from dist target

---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8c1a5143..6d3f3e71 100644
--- a/Makefile
+++ b/Makefile
@@ -140,7 +140,6 @@ ${PKG}: ${CRYPTOL_EXE} \
 # don't want to bundle the cryptol library in the binary distribution
 	rm -rf ${PKG_PREFIX}/lib
 	mkdir -p ${PKG_CRY}
-	mkdir -p ${PKG_ICRY}
 	mkdir -p ${PKG_DOC}
 	mkdir -p ${PKG_EXAMPLES}
 	mkdir -p ${PKG_EXCONTRIB}