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 | eb14e36d0b29f19321d44dd7dfa73cc703838d86 (patch) | |
| tree | 1285e9e56959bc3a4b506e36bbc3b49f4e938fa0 /environment | |
| parent | 68f158b11df9f4072699fe6a4c8022ea54102b28 (diff) | |
| parent | 04e38a57b19ea012895ac2efb39382c2e77833a9 (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' => ' ', |