From 590b0ac584cf10c330b548f592437cb9099e8260 Mon Sep 17 00:00:00 2001
From: Hugo Villeneuve <hugo@hugovil.com>
Date: Thu, 7 Aug 2014 00:11:37 -0400
Subject: [PATCH] Fix indentation

---
 functions/main | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/functions/main b/functions/main
index 2460314..e90ce12 100644
--- a/functions/main
+++ b/functions/main
@@ -1146,15 +1146,15 @@ get_total_build_time()
 
     for time in ${TIMES}; do
 	HOURS=$(( $HOURS + $(echo ${time} | sed "s!^\([0-9]*\)\..*!\1!g") ))
-	
+
 	# The first SED command extracts the minutes (fractions of an hour).
 	# The second SED command removed the leading zero, if applicable.
 	MIN=$(( $MIN + $(echo ${time} | sed "s!.*\.\([0-9][0-9]\)!\1!g" | sed "s!^0\([0-9]\)!\1!g" ) ))
     done
-    
+
     HOURS=$(( ${HOURS} + ( ${MIN} / 100 ) ))
     MIN=$(( ${MIN} % 100 ))
-    
+
     echo "${HOURS}.${MIN}"
 }
 
-- 
2.20.1