diff options
author | Andrew Gallant <jamslam@gmail.com> | 2020-03-15 22:11:32 -0400 |
---|---|---|
committer | Andrew Gallant <jamslam@gmail.com> | 2020-03-15 22:11:32 -0400 |
commit | 5b30c2aed60ee8a57f438e4c981a68c3bf3bc0ff (patch) | |
tree | e66351546696dd68adad6efe6e90053fa7feb37f /ci | |
parent | bf1027a83ed3b467d0121d981f2b9ad5ac76d4f0 (diff) |
ci: fix deb build script
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/build-deb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/build-deb b/ci/build-deb index e16e8f05..4ea1308d 100755 --- a/ci/build-deb +++ b/ci/build-deb @@ -29,7 +29,8 @@ mkdir -p "$DEPLOY_DIR" cargo build # Copy man page and shell completions. -cp "$OUT_DIR"/{rg.1,rg.bash,rg.fish,_rg} "$DEPLOY_DIR/" +cp "$OUT_DIR"/{rg.1,rg.bash,rg.fish} "$DEPLOY_DIR/" +cp complete/_rg "$DEPLOY_DIR/" # Since we're distributing the dpkg, we don't know whether the user will have # PCRE2 installed, so just do a static build. |