From: Michael Tremer <michael.tremer@ipfire.org>
Date: Sun, 15 Mar 2009 11:27:35 +0000 (+0000)
Subject: Do not use tee on batch build any more.
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=783e20490b3a27a268ecb4a451b8982491860779;p=ipfire-3.x.git

Do not use tee on batch build any more.
---

diff --git a/tools/make-batch b/tools/make-batch
index c12404c85..4187eb08f 100644
--- a/tools/make-batch
+++ b/tools/make-batch
@@ -47,9 +47,9 @@ batch_attach() {
 ###############################################################################
 batch_run() {
 	gettoolchain
-	$0 build | $BASEDIR/tools/tee $BATCHLOG
-	sleep 5
-	if [ -e $FAILED ]; then
+	$0 build &> $BATCHLOG
+	sleep 30
+	if [ -e "$FAILED" ]; then
 		SUBJECT="Failed :("
 	else
 		SUBJECT="Success!"