From 3f5c48d942dc8467687c2c197edb11773e36bbba Mon Sep 17 00:00:00 2001
From: Michael Davidsaver <mdavidsaver@gmail.com>
Date: Mon, 26 Feb 2018 10:43:47 -0800
Subject: [PATCH] rename .ci/make-tar.sh -> .tools/make-tar.sh

---
 {.ci => .tools}/make-tar.sh | 1 +
 1 file changed, 1 insertion(+)
 rename {.ci => .tools}/make-tar.sh (99%)

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' \