diff options
author | Patrick Simianer <p@simianer.de> | 2011-10-20 02:31:25 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2011-10-20 02:31:25 +0200 |
commit | 92e48b652530d2d2bb4f2694501f95a60d727cb2 (patch) | |
tree | b484bd0c4216525690de8b14fb654c9581a300c2 /environment/LocalConfig.pm | |
parent | 0e70073cec6cdcafaf60d4fbcbd1adf82ae21c8e (diff) | |
parent | 082b6c77e0703ccd1c85947828c33d4b0eef20f0 (diff) |
finalized merge
Diffstat (limited to 'environment/LocalConfig.pm')
-rw-r--r-- | environment/LocalConfig.pm | 4 |
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' => ' ', |