X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=id-deb-build%2Fmkdist.sh;h=473013e7d5fd320585ee39be6e8b8ca83daa9d3b;hb=723891166cf587acc94977b1215daa5d008842fa;hp=1dec8ea18021b0b0ff53e807e11277072cbb04f3;hpb=fe8b905bfc510ae288fb259261b798cef9c882f1;p=git-tools-moved-to-github.git

diff --git a/id-deb-build/mkdist.sh b/id-deb-build/mkdist.sh
index 1dec8ea..473013e 100755
--- a/id-deb-build/mkdist.sh
+++ b/id-deb-build/mkdist.sh
@@ -37,12 +37,15 @@ if [ "x$1" != x ]; then
   VERSION=$1
 fi
 
+trap 'rm -f tmp.tar' 0
 git archive --format=tar --prefix=$NAME-$VERSION/ v${VERSION} > tmp.tar || die "This version is not tagged in Git";
 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