diff options
author | Andrew Gallant <jamslam@gmail.com> | 2016-11-20 16:26:23 -0500 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2016-11-20 16:26:23 -0500 |
commit | 59187902d09cdc99aeb1816e16dc40dfc1a0db8d (patch) | |
tree | f41395b0b5d47b60e6db8b304628ea18af27d68d | |
parent | aef46beaf214131fd9c76aa1e0b00f4ec117fa1f (diff) |
Fix completion script deployment bundle.
-rw-r--r-- | ci/before_deploy.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/before_deploy.sh b/ci/before_deploy.sh index fedd5fcf..9e03f50f 100644 --- a/ci/before_deploy.sh +++ b/ci/before_deploy.sh @@ -17,9 +17,12 @@ mk_tarball() { local name="${PROJECT_NAME}-${TRAVIS_TAG}-${TARGET}" mkdir "$td/$name" + tree target/$TARGET/release + cp target/$TARGET/release/rg "$td/$name/" cp {doc/rg.1,README.md,UNLICENSE,COPYING,LICENSE-MIT} "$td/$name/" - cp target/$TARGET/release/build/ripgrep-*/out/{_rg.,rg.}* "$td/$name/" + cp target/$TARGET/release/build/ripgrep-*/out/rg.* "$td/$name/" + cp target/$TARGET/release/build/ripgrep-*/out/_rg.* "$td/$name/" pushd $td tar czf "$out_dir/$name.tar.gz" * |