From 3a2c12e37c17a396d07fdbf68951ae81e418a2f6 Mon Sep 17 00:00:00 2001
From: Christoph Niethammer <niethammer@hlrs.de>
Date: Wed, 3 Aug 2011 12:26:08 +0000
Subject: [PATCH] Use environment variable PLATFORM when defined.

---
 sit | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/sit b/sit
index 665302f..42463ac 100755
--- a/sit
+++ b/sit
@@ -17,20 +17,18 @@ if [[ -e $SIT_CONFIG_FILE ]] ; then
 fi
 source "$SIT_PATH/functions.sh"
 
-# check platform
-# TODO: add ip addresses for identification?
+if [ -z $PLATFORM ]; then
+# identify platform manually if no environment variable was set
 case $HOSTNAME in
 	cl3fr1|cl3fr2|imager)
 		PLATFORM="laki"
 		;;
-	xe601)
-		PLATFORM="hermit"
-		;;
 	*)
 		sit_info "Unknown host '$HOSTNAME' using default platform '${DEFAULT_PLATFORM}' configuration"
 		PLATFORM="${DEFAULT_PLATFORM}"
 		;;
 esac
+fi
 
 sit_info "Platform: $PLATFORM"