Add script to create archive

[ci skip]
7 years ago · 799885ad24
parent 1a3369877e
commit 799885ad24
1 changed files with 0 additions and 6 deletions
--- a/scripts/archive.sh
+++ b/scripts/archive.sh
@ -1,12 +1,6 @@
 #!/bin/bash -e
 TAG=`git tag -l --points-at HEAD`
 PREFIX=$(basename "$(pwd -P)")
 if [ ! -z $TAG ]; then
    PREFIX=$(basename "$(pwd -P)").$TAG
 fi
 {
  git ls-files
  git submodule foreach --recursive --quiet \