From dea2aed0b509734ec4e1cd163ac2a4f013000da2 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 11 Jun 2010 16:03:50 -0400
Subject: Untabified all source files

---
 tools/proof | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index 5a329a50..7e345234 100755
--- a/tools/proof
+++ b/tools/proof
@@ -19,10 +19,10 @@ time ./acprep --universal -j16 --warn proof 2>&1 | \
 
 if egrep -q '(ERROR|CRITICAL)' ~/Desktop/proof.log; then
     if [[ "$1" = "--alert" ]]; then
-	notify "Ledger proof build FAILED"
+        notify "Ledger proof build FAILED"
     else
-	echo "Ledger proof build FAILED"
-	exit 1
+        echo "Ledger proof build FAILED"
+        exit 1
     fi
 else
     echo "Ledger proof build succeeded"
-- 
cgit v1.2.3