build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).

There might be a better way doing that, but 'alias git=echo' is not a
solution, :(

diff --git a/Makefile.am b/Makefile.am
index bc46cac469d9628c2af877cdc9a030dcf9271496..f4dd998904dc683a48021aced64c3005b2d0ee8d 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -56,7 +56,7 @@ fedora-snapshot: dist
 
 dist-hook:
        if test -d .git ; then \
-               git pull ; \
+               test -z $$SKIP_GIT && git pull ; \
                chmod u+w ${distdir}/ChangeLog || true ; \
                ( git-changelog.perl || echo "git-changelog.perl failed." ) > ${distdir}/ChangeLog 2>&1 ; \
        fi