Rename 5.0 'beta' channel to 'dev'

Managing multiple 'beta' channels is complicated, so it's easier to use a different name.
zotero · Aug 23, 2016 · 23be8c4 · 23be8c4
1 parent 211083c
commit 23be8c4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/5.0_beta_build_and_deploy → scripts/5.0_dev_build_and_deploy b/scripts/5.0_beta_build_and_deploy → scripts/5.0_dev_build_and_deploy
@@ -6,7 +6,7 @@ ROOT_DIR="$(dirname "$SCRIPT_DIR")"
 cd "$ROOT_DIR"
 
 PLATFORMS="ml"
-CHANNEL="beta"
+CHANNEL="dev"
 
 "$ROOT_DIR/../zotero-build/xpi/build_xpi" -c $CHANNEL
 "$SCRIPT_DIR/build_and_deploy" -x ../zotero-build/xpi/build/zotero-build.xpi -p $PLATFORMS -c $CHANNEL
diff --git a/scripts/build_and_deploy b/scripts/build_and_deploy
@@ -16,7 +16,7 @@ function usage {
 	cat >&2 <<DONE
 Usage: $0 -x XPI_FILE -c CHANNEL -p PLATFORMS
  -x XPI_FILE         XPI file to build from
- -c CHANNEL          Release channel ('release', 'beta')
+ -c CHANNEL          Release channel ('release', 'beta', 'dev')
  -p PLATFORMS        Platforms to build (m=Mac, w=Windows, l=Linux)
 DONE
 	exit 1