From: Michael Tremer <michael.tremer@ipfire.org>
Date: Fri, 3 Oct 2008 15:56:40 +0000 (+0000)
Subject: Restart distccd on a clean batch-pull.
X-Git-Tag: v3.0-alpha1~621
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a11ea2140e17e64f4b11c2f758846fc6d1b2cc47;p=ipfire-3.x.git

Restart distccd on a clean batch-pull.
---

diff --git a/tools/make-git b/tools/make-git
index 8104efd2b..5a3fed4a5 100644
--- a/tools/make-git
+++ b/tools/make-git
@@ -49,6 +49,7 @@ git_pull() {
 	if [ "$1" = "--batch" ]; then
 		shift
 		git pull $* | grep -q "Already up-to-date." || rm -f $FAILED
+		[ -e $FAILED ] || distccd_restart
 	else
 		if [ "$CURRENT_BRANCH" == "master" ]; then
 			if ! (git status | grep -q "working directory clean"); then