rename .ci/make-tar.sh -> .tools/make-tar.sh

2018-02-26 10:43:47 -08:00
parent 57acac8fb8
commit 3f5c48d942
1 changed files with 1 additions and 0 deletions
--- a/.tools/make-tar.sh
+++ b/.tools/make-tar.sh
@@ -80,6 +80,7 @@ sed -i -e 's|^\./||' "$TDIR"/list.1
 # Exclude files
 sed \
  -e '/\/\.\?ci\//d' \
+  -e '/\/\.tools\//d' \
  -e '/\/jenkins\//d' \
  -e '/\/\.git/d' \
  -e '/\/\.project$/d' \