diff options
| author | Patrick Simianer <p@simianer.de> | 2011-10-19 14:02:34 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2011-10-19 14:02:34 +0200 |
| commit | 9beaeb42b71fa504bfa41a402cb17eb6ac4001af (patch) | |
| tree | 0add4afabc526391753e4e6b9443a7bf21e3e2c3 /environment | |
| parent | ce3b4db94d40c111ede321ac6de2bb061a81c4af (diff) | |
| parent | 09297047e446f49804d3f48bf320cdbd38d6396a (diff) | |
merge upstream/master
Diffstat (limited to 'environment')
| -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' => ' ', |