summaryrefslogtreecommitdiff
path: root/environment
diff options
context:
space:
mode:
Diffstat (limited to 'environment')
-rw-r--r--environment/LocalConfig.pm6
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;