diff --git a/.ci/make-tar.sh b/.tools/make-tar.sh similarity index 99% rename from .ci/make-tar.sh rename to .tools/make-tar.sh index 370968545..ff78a23cd 100755 --- a/.ci/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' \