[gambit-list] [PATCH 5/4(forgot it)] makefile.in: stop make update when Git fails (e.g. conflicting files)