diff options
| author | gpgpu-sim <[email protected]> | 2018-10-29 13:55:31 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-10-29 13:55:31 -0700 |
| commit | 42d8d8c9b5b0eb93ff228a877fd6a5bed5cf956d (patch) | |
| tree | 7bc8917d1f685487d775975596f9b22a063e4aef /setup_environment | |
| parent | 68134d5eb326552fc1ef4b02b2eb21103266283b (diff) | |
| parent | ea226a289bcdf94811712a4563ae3eb334ee3a7b (diff) | |
Merge pull request #79 from purdue-aalp/dev
Merging dev-purdue to public-dev-gpgpu-sim-repo
Diffstat (limited to 'setup_environment')
| -rw-r--r-- | setup_environment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/setup_environment b/setup_environment index f1af978..9578942 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 )" |