mirrors/pulseaudio
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git synced 2025-10-29 05:40:23 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

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

Browse source 
There might be a better way doing that, but 'alias git=echo' is not a
solution, :(
This commit is contained in:
Marc-André Lureau 2009-01-08 12:29:09 +02:00
parent a206ac0fb5
commit db193f1720
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile.am
View file

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