From e288eefb9657b13468355e50a158384db1aa3ea0 Mon Sep 17 00:00:00 2001
From: Tor Aamodt <aamodt@ece.ubc.ca>
Date: Sun, 3 Feb 2013 13:04:20 -0800
Subject: verify user is using bash

[git-p4: depot-paths = "//depot/gpgpu_sim_research/fermi/distribution/": change = 15168]
---
 setup_environment | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'setup_environment')

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 )"
 
-- 
cgit v1.3