build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).
authorMarc-André Lureau <marcandre.lureau@gmail.com>
Thu, 8 Jan 2009 10:29:09 +0000 (12:29 +0200)
committerMarc-André Lureau <marcandre.lureau@gmail.com>
Thu, 8 Jan 2009 13:12:25 +0000 (15:12 +0200)
There might be a better way doing that, but 'alias git=echo' is not a
solution, :(

Makefile.am

index bc46cac..f4dd998 100644 (file)
@@ -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