From ae03b88f5c116c079f647bf1a5ba55e0ed387685 Mon Sep 17 00:00:00 2001
From: Andreas Maunz <andreas@maunz.de>
Date: Thu, 7 Apr 2011 10:06:44 +0200
Subject: Fixed JAVA_HOME

---
 utils.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'utils.sh')

diff --git a/utils.sh b/utils.sh
index 656a993..1bead39 100755
--- a/utils.sh
+++ b/utils.sh
@@ -2,9 +2,9 @@
 
 check_dest() 
 {
-  if ! [ -d "$PREFIX" ]; then
-    if ! mkdir -p "$PREFIX"; then
-      echo "Could not create target directory '$PREFIX'! Aborting..."
+  if ! [ -d "$OT_PREFIX" ]; then
+    if ! mkdir -p "$OT_PREFIX"; then
+      echo "Could not create target directory '$OT_PREFIX'! Aborting..."
       exit 1
     fi
   fi
@@ -15,12 +15,12 @@ run_cmd ()
   local cmd="$1"
   local title="$2"
 
-  printf "%15s" "'$title'"
+  printf "%30s" "'$title'"
   if ! eval $cmd >>$LOG 2>&1 ; then  
-    printf "%25s\n" "FAIL"
+    printf "%50s\n" "FAIL"
     exit 1
   fi
-  printf "%25s\n" "DONE"
+  printf "%50s\n" "DONE"
 
 }
 
-- 
cgit v1.2.3