# HG changeset patch
# User Han-Wen Nienhuys <hanwen@lilypond.org>
# Date 1180209093 10800
# Node ID 783646d457861a7a5001c0921499efe5cd7ee170
# Parent  5217e62fddc783d8c6ea8c0a377813f55af17cb6
be very verbose for git.

The Git compile is not robust.

diff -r 5217e62fddc7 -r 783646d45786 mingit.make
--- a/mingit.make	Sat May 26 16:51:12 2007 -0300
+++ b/mingit.make	Sat May 26 16:51:33 2007 -0300
@@ -16,6 +16,7 @@
 GPKG_OPTIONS=--branch git=$(MINGIT_LOCAL_BRANCH)
 
 GUB_OPTIONS=\
+ -v -v -v \
  --branch git=$(MINGIT_BRANCH):$(MINGIT_LOCAL_BRANCH)
 
 INSTALLER_BUILDER_OPTIONS=\