From 7ebfa4a906be2724511faf3a0a42bb997424a41d Mon Sep 17 00:00:00 2001
From: mattijs <mattijs>
Date: Wed, 13 Oct 2010 10:31:44 +0100
Subject: [PATCH] BUG: bash does not know $HOST, only $HOSTNAME
---
wmake/wmakeScheduler | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/wmake/wmakeScheduler b/wmake/wmakeScheduler
index be5f4ba58bb..bfff68053a9 100755
--- a/wmake/wmakeScheduler
+++ b/wmake/wmakeScheduler
@@ -184,14 +184,14 @@ do
# Set colour
colour="${colourList[$colourIndex]}"
- if [ "$host" = "$HOST" ]; then
+ if [ "$host" = "$HOSTNAME" ]; then
eval $* 2>&1 | colourPipe "$colour"
else
ssh $host "$sourceFoam 2>/dev/null; cd $PWD && $rcmd" 2>&1 | colourPipe "$colour"
fi
retval=$?
else
- if [ "$host" = "$HOST" ]; then
+ if [ "$host" = "$HOSTNAME" ]; then
eval $* 2>&1
else
ssh $host "$sourceFoam 2>/dev/null; cd $PWD && $rcmd" 2>&1
--
GitLab