From 2973c0367a88b80c28b1f75675aef3d3566da292 Mon Sep 17 00:00:00 2001 From: Jeremy Mordkoff Date: Tue, 12 Dec 2017 19:17:57 -0500 Subject: [PATCH] deprecate the repo option Signed-off-by: Jeremy Mordkoff --- BUILD.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/BUILD.sh b/BUILD.sh index 1f55b1a1..b1d0a49b 100755 --- a/BUILD.sh +++ b/BUILD.sh @@ -56,7 +56,7 @@ while true; do echo echo "SYNOPSIS:" echo " $0 -h|--help" - echo " $0 [--install] [PLATFORM_REPOSITORY] [PLATFORM_VERSION]" + echo " $0 [--install] [PLATFORM_VERSION]" echo echo "DESCRIPTION:" echo " Prepare current system to run $MODULE. By default, the system" @@ -78,8 +78,7 @@ set -x # Print commands before executing them ############################################################################### # Set up repo and version -PLATFORM_REPOSITORY=${1:-OSM3} -PLATFORM_VERSION=${2:-5.2.0.2.72254} +PLATFORM_VERSION=${1:-5.2.0.3.73627} ############################################################################### # Main block -- 2.25.1