On 16 November 2012 10:23, Paolo Bonzini <pbonz...@redhat.com> wrote: > Il 16/11/2012 10:27, Peter Maydell ha scritto: >> On 16 November 2012 05:05, Wenchao Xia <xiaw...@linux.vnet.ibm.com> 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...) thanks -- PMM