From 8c3cd700ef9ab0460e6bac4ff86cfd885af8ab41 Mon Sep 17 00:00:00 2001 From: Wen HU Date: Tue, 5 Jan 2021 17:52:07 -0500 Subject: [PATCH] enforce source build/envsetup.sh before proceed --- tools/build_and_run.sh | 7 ++++++- tools/setup_tools.sh | 3 ++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/tools/build_and_run.sh b/tools/build_and_run.sh index da0cb68fb3..41e0e4685c 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 5dd6d2744e..34a9b7943b 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 -- Gitee