From db193f17200d63bfe59bc3a9196f15d5d59efaee Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marc-Andr=C3=A9=20Lureau?= Date: Thu, 8 Jan 2009 12:29:09 +0200 Subject: [PATCH] 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, :( --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index bc46cac..f4dd998 100644 --- 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 -- 2.7.4