diff --git a/scripts/buildAndTest.sh b/scripts/buildAndTest.sh index c095d8d669..bad1d5a12d 100755 --- a/scripts/buildAndTest.sh +++ b/scripts/buildAndTest.sh @@ -10,6 +10,40 @@ if [[ ! -e "${ROOT_FOLDER}/.git" ]]; then ROOT_FOLDER=`pwd` fi +function print_usage() { +cat < 0 ]] +do +key="$1" +case $key in + -v|--version) + VERIFIER_VERSION="$2" + shift # past argument + ;; + --help) + print_usage + exit 0 + ;; + *) + echo "Invalid option: [$1]" + print_usage + exit 1 + ;; +esac +shift # past argument or value +done + +[[ -z "${VERIFIER_VERSION}" ]] && VERIFIER_VERSION="1.0.0.BUILD-SNAPSHOT" +export VERIFIER_VERSION + +echo -e "\n\nBUILDING AND RUNNING TESTS FOR VERIFIER IN VERSION [$VERIFIER_VERSION]\n\n" + echo "Building all libraries" $ROOT_FOLDER/scripts/build.sh