From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:47975) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TZJJv-0006qE-BH for qemu-devel@nongnu.org; Fri, 16 Nov 2012 05:38:50 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1TZJJs-0007n4-8P for qemu-devel@nongnu.org; Fri, 16 Nov 2012 05:38:47 -0500 Received: from mx1.redhat.com ([209.132.183.28]:5809) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1TZJJs-0007mB-0h for qemu-devel@nongnu.org; Fri, 16 Nov 2012 05:38:44 -0500 Message-ID: <50A617AC.5030606@redhat.com> Date: Fri, 16 Nov 2012 11:38:36 +0100 From: Gerd Hoffmann MIME-Version: 1.0 References: <1353042317-13688-1-git-send-email-xiawenc@linux.vnet.ibm.com> <1353042317-13688-2-git-send-email-xiawenc@linux.vnet.ibm.com> <50A61404.7060903@redhat.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Subject: Re: [Qemu-devel] [PATCH 1/2] Buildsystem fix distclean error in pixman List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell Cc: kwolf@redhat.com, aliguori@us.ibm.com, stefanha@gmail.com, qemu-devel@nongnu.org, blauwirbel@gmail.com, Paolo Bonzini , Wenchao Xia On 11/16/12 11:26, Peter Maydell wrote: > On 16 November 2012 10:23, Paolo Bonzini wrote: >> Il 16/11/2012 10:27, Peter Maydell ha scritto: >>> On 16 November 2012 05:05, Wenchao Xia wrote: >>>> - test -f pixman/config.log && make -C pixman distclean >>>> + @if test -f pixman/config.log; \ >>>> + then \ >>>> + make -C pixman distclean;\ >>>> + fi >>> >>> These two bits of shellscript both do the same thing, don't they? >> >> No, when "test" fails the && exits with a failure. The "if" exits with >> a success (not the most portable thing ever, but we assume a decent >> shell elsewhere). > > Aha. I love shell. (This detail could usefully have been > provided in the commit message...) Agree. Can I get a version with an updated commit message for the pixman patch queue? thanks, Gerd