1 files changed, 0 insertions, 9 deletions
diff --git a/dist/travis-ci.sh b/dist/travis-ci.sh
deleted file mode 100755
index f3c34ae3d..000000000
--- a/dist/travis-ci.sh
+++ /dev/null
@@ -1,9 +0,0 @@
-PKG_VER=`grep Ghdl_Ver src/version.in | sed -e 's/.*"\(.*\)";/\1/'`
-
-if [ "$TRAVIS_TAG" = "" ]; then
-    PKG_TAG=`date -u +%Y%m%d`
-else
-    PKG_TAG="$TRAVIS_TAG"
-fi
-
-export PKG_FILE="ghdl-$PKG_VER-$BLD-$PKG_TAG.tgz"