From 33187299e79aa7d57e56226a806e1f79e8f7f1a7 Mon Sep 17 00:00:00 2001
From: phiresky <phireskyde+git@gmail.com>
Date: Sat, 15 Jun 2019 10:20:10 +0200
Subject: [PATCH] add rga-preproc to deploy

---
 ci/README.md        | 1 +
 ci/before_deploy.sh | 7 ++++---
 2 files changed, 5 insertions(+), 3 deletions(-)
 create mode 100644 ci/README.md

diff --git a/ci/README.md b/ci/README.md
new file mode 100644
index 0000000..432c721
--- /dev/null
+++ b/ci/README.md
@@ -0,0 +1 @@
+everything in here shamelessly copied from ripgrep itself
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh
index d18d86f..b75e51b 100755
--- a/ci/before_deploy.sh
+++ b/ci/before_deploy.sh
@@ -29,9 +29,10 @@ mk_tarball() {
     # contains shell completion files and the man page.
     local cargo_out_dir="$(cargo_out_dir "target/$TARGET")"
 
-    # Copy the ripgrep binary and strip it.
-    cp "target/$TARGET/release/rga" "$staging/rga"
-    "${gcc_prefix}strip" "$staging/rga"
+    # Copy the binaries and strip it.
+    for binary in rga rga-preproc; do
+        cp "target/$TARGET/release/$binary" "$staging/$binary"
+        "${gcc_prefix}strip" "$staging/$binary"
     # Copy the licenses and README.
     cp {README.md,LICENSE.md} "$staging/"
     # Copy documentation and man page.