diff --git a/tools/build_and_run.sh b/tools/build_and_run.sh index da0cb68fb32129d4fbad0f8f91a50e3fa02ccd20..41e0e4685c833b769b628bd07dec2946e7ecf369 100755 --- a/tools/build_and_run.sh +++ b/tools/build_and_run.sh @@ -1,4 +1,4 @@ -#!/bin/bash -x +#!/bin/bash # # Copyright (C) [2020] Futurewei Technologies, Inc. All rights reverved. # @@ -16,6 +16,11 @@ set -e +if [ -z "$MAPLE_ROOT" ]; then + echo "Please \"source build/envsetup.sh\" to setup environment" + exit 1 +fi + today=$(date +%Y-%m-%d-%H_%M) cd $MAPLE_ROOT diff --git a/tools/setup_tools.sh b/tools/setup_tools.sh index 5dd6d2744e5b1acb6c627fb0744138544bb8976a..34a9b7943b526f31abed1500cd356d7e7e83079d 100755 --- a/tools/setup_tools.sh +++ b/tools/setup_tools.sh @@ -17,7 +17,8 @@ set -e if [ -z "$MAPLE_ROOT" ]; then - export MAPLE_ROOT=$(pwd)/.. + echo "Please \"source build/envsetup.sh\" to setup environment" + exit 1 fi echo MAPLE_ROOT: $MAPLE_ROOT