summaryrefslogtreecommitdiff
path: root/environment/LocalConfig.pm
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2011-10-20 02:31:25 +0200
committerPatrick Simianer <p@simianer.de>2011-10-20 02:31:25 +0200
commit92e48b652530d2d2bb4f2694501f95a60d727cb2 (patch)
treeb484bd0c4216525690de8b14fb654c9581a300c2 /environment/LocalConfig.pm
parent0e70073cec6cdcafaf60d4fbcbd1adf82ae21c8e (diff)
parent082b6c77e0703ccd1c85947828c33d4b0eef20f0 (diff)
finalized merge
Diffstat (limited to 'environment/LocalConfig.pm')
-rw-r--r--environment/LocalConfig.pm4
1 files changed, 4 insertions, 0 deletions
diff --git a/environment/LocalConfig.pm b/environment/LocalConfig.pm
index 7b3d950c..4e5e0d5f 100644
--- a/environment/LocalConfig.pm
+++ b/environment/LocalConfig.pm
@@ -44,6 +44,10 @@ my $CCONFIG = {
'HOST_REGEXP' => qr/^(barrow|chicago).lti.cs.cmu.edu$/,
'QSubMemFlag' => '-l pmem=',
},
+ 'OxfordDeathSnakes' => {
+ 'HOST_REGEXP' => qr/^(taipan|tiger).cs.ox.ac.uk$/,
+ 'QSubMemFlag' => '-l pmem=',
+ },
'LOCAL' => {
'HOST_REGEXP' => qr/local\./,
'QSubMemFlag' => ' ',