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.