diff options
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; |