arnekeller/ripgrep-all
1
0
Fork 0
mirror of https://github.com/FliegendeWurst/ripgrep-all.git synced 2024-11-09 14:30:37 +00:00
Code Issues Projects Releases Wiki Activity

add rga-preproc to deploy

Browse Source
This commit is contained in:
phiresky 2019-06-15 10:20:10 +02:00
parent 0c31671e5e
commit 33187299e7
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
ci/README.md Normal file
View File

@ -0,0 +1 @@
everything in here shamelessly copied from ripgrep itself

7
ci/before_deploy.sh
View File

@ -29,9 +29,10 @@ mk_tarball() {
# contains shell completion files and the man page. # contains shell completion files and the man page.
local cargo_out_dir="$(cargo_out_dir "target/$TARGET")" local cargo_out_dir="$(cargo_out_dir "target/$TARGET")"
# Copy the ripgrep binary and strip it. # Copy the binaries and strip it.
cp "target/$TARGET/release/rga" "$staging/rga" for binary in rga rga-preproc; do
"${gcc_prefix}strip" "$staging/rga" cp "target/$TARGET/release/$binary" "$staging/$binary"
"${gcc_prefix}strip" "$staging/$binary"
# Copy the licenses and README. # Copy the licenses and README.
cp {README.md,LICENSE.md} "$staging/" cp {README.md,LICENSE.md} "$staging/"
# Copy documentation and man page. # Copy documentation and man page.