diff options
| -rw-r--r-- | setup_environment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/setup_environment b/setup_environment index 99441e1..c8250dd 100644 --- a/setup_environment +++ b/setup_environment @@ -1,5 +1,7 @@ # see README before running this +ps -p $$ | awk '/bash/ {exit 1;}' && ( echo "ERROR ** source setup_environment must be run in a bash shell; see README" ; exit 0 ) && exit + export GPGPUSIM_SETUP_ENVIRONMENT_WAS_RUN= export GPGPUSIM_ROOT="$( cd "$( dirname "$BASH_SOURCE" )" && pwd )" |