diff options
| author | Tor Aamodt <[email protected]> | 2013-02-03 13:15:57 -0800 |
|---|---|---|
| committer | Andrew Boktor <[email protected]> | 2014-08-14 13:49:25 -0700 |
| commit | 25d683b0eb6bdd85040717bd8b99e194f8765987 (patch) | |
| tree | 663d51f0883a1a9f47834dd29341765aefc65f4a | |
| parent | e288eefb9657b13468355e50a158384db1aa3ea0 (diff) | |
simplify bash check
[git-p4: depot-paths = "//depot/gpgpu_sim_research/fermi/distribution/": change = 15169]
| -rw-r--r-- | setup_environment | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/setup_environment b/setup_environment index c8250dd..c0f8b1f 100644 --- a/setup_environment +++ b/setup_environment @@ -1,6 +1,6 @@ # 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 +ps -p $$ | awk '/bash/ {exit 1;}' && echo "ERROR ** source setup_environment must be run in a bash shell; see README" && exit export GPGPUSIM_SETUP_ENVIRONMENT_WAS_RUN= export GPGPUSIM_ROOT="$( cd "$( dirname "$BASH_SOURCE" )" && pwd )" |