projects
/
git-tools-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8c365b2
)
Do not try to rm OMIT_FROM_DIST files if they don't exist.
author
Mike Taylor
<mike@indexdata.com>
Fri, 13 Apr 2012 11:42:35 +0000
(12:42 +0100)
committer
Mike Taylor
<mike@indexdata.com>
Fri, 13 Apr 2012 11:42:35 +0000
(12:42 +0100)
Mainly to avoid spurious warning about absent "debian" directory.
id-deb-build/mkdist.sh
patch
|
blob
|
history
diff --git
a/id-deb-build/mkdist.sh
b/id-deb-build/mkdist.sh
index
4fbee88
..
473013e
100755
(executable)
--- a/
id-deb-build/mkdist.sh
+++ b/
id-deb-build/mkdist.sh
@@
-42,8
+42,10
@@
git archive --format=tar --prefix=$NAME-$VERSION/ v${VERSION} > tmp.tar || die "
tar xf tmp.tar
rm tmp.tar
for file in debian $OMIT_FROM_DIST; do
- echo "Omitting $file from distribution"
- rm -r $NAME-$VERSION/$file
+ if [ -e "$file" ]; then
+ echo "Omitting $file from distribution"
+ rm -r $NAME-$VERSION/$file
+ fi
done
tar cfz $NAME-$VERSION.tar.gz $NAME-$VERSION
rm -r $NAME-$VERSION