summaryrefslogtreecommitdiff
path: root/environment
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2011-11-03 00:38:04 +0100
committerPatrick Simianer <p@simianer.de>2011-11-03 00:38:04 +0100
commit4df1aea9e6edce1c79059d3310d55947be0a302e (patch)
tree8ae86a2c874dd562a37663314439844ec51b837b /environment
parent6e468c95e15db08779681497973b735b12b70df5 (diff)
local hacks
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;