From ba6e51c1e08e138c0a16c51d47d105e94621a958 Mon Sep 17 00:00:00 2001 From: Jeremy Mordkoff Date: Tue, 12 Dec 2017 19:18:01 -0500 Subject: [PATCH] deprecate the repo option Signed-off-by: Jeremy Mordkoff --- BUILD.sh | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/BUILD.sh b/BUILD.sh index 92df8caa0..17e2443c1 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" @@ -64,7 +64,6 @@ while true; do echo " $MODULE can be installed from a Debian package repository." echo echo " --install: install $MODULE from package" - echo " PLATFORM_REPOSITORY (optional): name of the RIFT.ware repository." echo " PLATFORM_VERSION (optional): version of the platform packages to be installed." echo exit 0;; @@ -79,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.3.73627} +PLATFORM_VERSION=${1:-5.2.0.3.73627} ############################################################################### # Main block -- 2.25.1