diff options
author | Andrew Gallant <jamslam@gmail.com> | 2017-08-23 18:06:53 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2017-08-23 18:07:41 -0400 |
commit | 30ca3ecca65d06ebc1d0794f3968397709aff9a8 (patch) | |
tree | b221d8040edb4054239586409bef1ab1bf8b670c /ci | |
parent | dbc91644fdc9af21ecdca9ee9702e9fa70cb9290 (diff) |
ci: strip ripgrep binary on Unix
This commit strips the ripgrep binary release artifact produced by CI
for Unix.
Fixes #413
Diffstat (limited to 'ci')
-rw-r--r-- | ci/before_deploy.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh index d15105ca..ed5795c0 100644 --- a/ci/before_deploy.sh +++ b/ci/before_deploy.sh @@ -18,9 +18,12 @@ mk_tarball() { mkdir "$td/$name" mkdir "$td/$name/complete" - cp target/$TARGET/release/rg "$td/$name/" + cp target/$TARGET/release/rg "$td/$name/rg" + strip "$td/$name/rg" cp {doc/rg.1,README.md,UNLICENSE,COPYING,LICENSE-MIT} "$td/$name/" - cp target/$TARGET/release/build/ripgrep-*/out/{rg.bash-completion,rg.fish,_rg.ps1} "$td/$name/complete/" + cp \ + target/$TARGET/release/build/ripgrep-*/out/{rg.bash-completion,rg.fish,_rg.ps1} \ + "$td/$name/complete/" cp complete/_rg "$td/$name/complete/" pushd $td |