Merge branch 'v1.0'

[osm/SO.git] / BUILD.sh

diff --git a/BUILD.sh b/BUILD.sh
index 1f550d9..3735e5c 100755 (executable)
--- a/BUILD.sh
+++ b/BUILD.sh
@@ -155,7 +155,7 @@ if [[ $PLATFORM == ub16 ]]; then
         
     # and install the tools
     sudo apt remove -y rw.toolchain-rwbase tcpdump
-    sudo apt-get install -y rw.tools-container-tools rw.tools-scripts python 
+    sudo apt-get install -y rw.tools-container-tools=${PLATFORM_VERSION} rw.tools-scripts=${PLATFORM_VERSION} python 
 elif [[ $PLATFORM == fc20 ]]; then
     # get the container tools from the correct repository
     sudo rm -f /etc/yum.repos.d/private.repo