ci: Rename production builder script file.

.circleci/config.yml

@@ -97,7 +97,7 @@ aliases:
         # Install moreutils so we can use `ts` and `mispipe` in the following.
         sudo apt-get install -y moreutils
 
-        mispipe ./tools/ci/setup-production ts
+        mispipe ./tools/ci/production-build ts
 
   - &production_extract_tarball
     run:

tools/ci/production-helper

@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 # This test installs a Zulip production environment (from the release
-# tarball from setup-production), and then runs some Nagios checks and
+# tarball from production-build), and then runs some Nagios checks and
 # other tools to verify that everything is working properly.
 set -e
 set -x