From 57115923af2c7aa85e478c5ba1e5baf62d6ec500 Mon Sep 17 00:00:00 2001
From: phiresky <phireskyde+git@gmail.com>
Date: Tue, 18 Jun 2019 18:05:44 +0200
Subject: [PATCH] windows binaries are .exe

---
 ci/before_deploy.sh | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh
index 7bcdb62..5c93d4b 100755
--- a/ci/before_deploy.sh
+++ b/ci/before_deploy.sh
@@ -29,10 +29,15 @@ mk_tarball() {
     # contains shell completion files and the man page.
     local cargo_out_dir="$(cargo_out_dir "target/$TARGET")"
 
+    bin_ext=""
+    if is_windows; then
+        bin_ext=".exe"
+    fi
+
     # 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"
+        cp "target/$TARGET/release/$binary$bin_ext" "$staging/$binary$bin_ext"
+        # "${gcc_prefix}strip" "$staging/$binary"
     done
     # Copy the licenses and README.
     cp {README.md,LICENSE.md} "$staging/"