From f8e84eefc92d7d63554472e0bb88fe691f40701d Mon Sep 17 00:00:00 2001 From: tgrogers Date: Wed, 12 Jul 2017 17:03:30 -0400 Subject: Getting jenkins to work by changing the error on shell type to a warning. The way we detect the shell is not fool-proof and fails for jenkins, although we are using bash --- setup_environment | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'setup_environment') diff --git a/setup_environment b/setup_environment index 854a335..0895d44 100644 --- a/setup_environment +++ b/setup_environment @@ -1,6 +1,6 @@ # see README before running this -ps -p $$ | awk '/bash/ || / sh/ || /zsh/ {exit 1;}' && echo "ERROR ** source setup_environment must be run in a bash, zsh or sh shell; see README" && exit +ps -p $$ | awk '/bash/ || / sh/ || /zsh/ {exit 1;}' && echo "WARNING ** source setup_environment must be run in a bash, zsh or sh shell; see README" export GPGPUSIM_SETUP_ENVIRONMENT_WAS_RUN= export GPGPUSIM_ROOT="$( cd "$( dirname "$BASH_SOURCE" )" && pwd )" -- cgit v1.3