X-Git-Url: https://osm.etsi.org/gitweb/?a=blobdiff_plain;f=BUILD.sh;h=788f9d140323c227344b41feb4fbf23c721aa894;hb=8b17d18c5c0c1efb4b4f0eea2f8ad9b4c438780d;hp=3735e5c7bf1bc2daced19fa1a4bcdb6b803fc8d3;hpb=7203e6545b8957eef84f60845285b3256269637e;p=osm%2FSO.git diff --git a/BUILD.sh b/BUILD.sh index 3735e5c7..788f9d14 100755 --- a/BUILD.sh +++ b/BUILD.sh @@ -114,10 +114,10 @@ fi if [[ $PLATFORM == ub16 ]]; then PLATFORM_REPOSITORY=${1:-OSM} - PLATFORM_VERSION=${2:-4.3.1.0.53651} + PLATFORM_VERSION=${2:-4.3.1.0.53704} elif [[ $PLATFORM == fc20 ]]; then PLATFORM_REPOSITORY=${1:-OSM} # change to OSM when published - PLATFORM_VERSION=${2:-4.3.1.0.53651} + PLATFORM_VERSION=${2:-4.3.1.0.53705} else echo "Internal error: unknown platform $PLATFORM" exit 1 @@ -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=${PLATFORM_VERSION} rw.tools-scripts=${PLATFORM_VERSION} python + sudo apt-get install -y --allow-downgrades 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