commit ba6932918a2dbd2c5fdc2eaeab7fb8be85faa8b7
author Jeremy Mordkoff <jeremy.mordkoff@riftio.com> Fri Nov 18 11:30:28 2016 -0500
committer Jeremy Mordkoff <jeremy.mordkoff@riftio.com> Fri Nov 18 11:30:28 2016 -0500
tree 52cc58d969fb3bcf3e0d1a5d03467b01c5fb03a2
parent f6914d7d8e3153683139096480a86afec5b07302

allow downgrades which are needed when switching branches

Signed-off-by: Jeremy Mordkoff <jeremy.mordkoff@riftio.com>

BUILD.sh

diff --git a/BUILD.sh b/BUILD.sh
index b0c6d27..cb6fb37 100755
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -164,7 +164,7 @@
 
 if [[ $PLATFORM == ub16 ]]; then
     # install the RIFT platform code:
-    sudo apt-get install -y rw.toolchain-rwbase=${PLATFORM_VERSION} \
+    sudo apt-get install -y --allow-downgrades rw.toolchain-rwbase=${PLATFORM_VERSION} \
 	 rw.toolchain-rwtoolchain=${PLATFORM_VERSION} \
 	 rw.core.mgmt-mgmt=${PLATFORM_VERSION} \
 	 rw.core.util-util=${PLATFORM_VERSION} \