From 1b0c0624ffeab7f6c28b8dfa18949606691418e0 Mon Sep 17 00:00:00 2001
From: David Banks <dave@hoglet.com>
Date: Tue, 21 Sep 2021 13:20:32 +0100
Subject: [PATCH] Updated release script to include .bin files

Change-Id: Ic09c51f721a3c517a43282b053dbdf9a55fba902
---
 release.sh | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/release.sh b/release.sh
index f01bcb2..b121372 100755
--- a/release.sh
+++ b/release.sh
@@ -16,8 +16,9 @@ pushd target
 make clean
 make
 
-cp --parents */*/*.bit ../${DIR}
-cp --parents */*/*.mcs ../${DIR}
+cp --parents */*/ice*.bit ../${DIR}
+cp --parents */*/ice*.bin ../${DIR}
+cp --parents */*/ice*.mcs ../${DIR}
 
 popd
 
@@ -27,5 +28,3 @@ popd
 
 echo "Built release in: "${DIR}
 unzip -l releases/${NAME}.zip
-
-