Updated release script to include .bin files

Change-Id: Ic09c51f721a3c517a43282b053dbdf9a55fba902
This commit is contained in:
David Banks 2021-09-21 13:20:32 +01:00
parent 58978d3e05
commit 1b0c0624ff
1 changed files with 3 additions and 4 deletions

View File

@ -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