From c44b31443c875f05bd19ed4c73f6eac211f77636 Mon Sep 17 00:00:00 2001
From: Philip Joseph <philip.joseph@riftio.com>
Date: Fri, 18 Nov 2016 11:30:28 -0500
Subject: [PATCH] allow downgrades which are needed when switching branches

Original fix by: Jeremy Mordkoff <jeremy.mordkoff@riftio.com>
Signed-off-by: Philip Joseph <philip.joseph@riftio.com>
---
 BUILD.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BUILD.sh b/BUILD.sh
index b0c6d27b..cb6fb37b 100755
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -164,7 +164,7 @@ fi
 
 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} \
-- 
2.25.1