diff options
author | Patrick Simianer <p@simianer.de> | 2011-11-03 00:38:04 +0100 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2011-11-03 00:38:04 +0100 |
commit | 4df1aea9e6edce1c79059d3310d55947be0a302e (patch) | |
tree | 8ae86a2c874dd562a37663314439844ec51b837b /environment | |
parent | 6e468c95e15db08779681497973b735b12b70df5 (diff) |
local hacks
Diffstat (limited to 'environment')
-rw-r--r-- | environment/LocalConfig.pm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/environment/LocalConfig.pm b/environment/LocalConfig.pm index 4e5e0d5f..db83696c 100644 --- a/environment/LocalConfig.pm +++ b/environment/LocalConfig.pm @@ -48,10 +48,14 @@ my $CCONFIG = { 'HOST_REGEXP' => qr/^(taipan|tiger).cs.ox.ac.uk$/, 'QSubMemFlag' => '-l pmem=', }, - 'LOCAL' => { + 'LOCALx' => { 'HOST_REGEXP' => qr/local\./, 'QSubMemFlag' => ' ', }, + 'LOCAL' => { + 'HOST_REGEXP' => qr/coltrane/, + 'QSubMemFlag' => ' ', + }, }; our $senvironment_name; |