From 300ff179379d3f2b90b41134b89d907a54a7c6e3 Mon Sep 17 00:00:00 2001 From: nrbffs <git-ffs@nicoboehr.de> Date: Sun, 15 Sep 2019 21:00:00 +0200 Subject: [PATCH] remove get-gluon-branch.sh It is no longer used, so remove. --- get-gluon-branch.sh | 28 ---------------------------- 1 file changed, 28 deletions(-) delete mode 100755 get-gluon-branch.sh diff --git a/get-gluon-branch.sh b/get-gluon-branch.sh deleted file mode 100755 index 1ad4a4b87..000000000 --- a/get-gluon-branch.sh +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/bash - -set -eu -set -o pipefail - -# autoupdater -# ==== -# -# This script prints the name of the autoupdater branch depending on the build -# configuration. Its output is suitable for use as the GLUON_BRANCH build -# variable of gluon. -# -# The idea is to take whatever comes in the GLUON_BRANCH build variable, -# except when this value is not one of the well-known branch names; then fall -# back to 'nightly'. - -default_gluon_branch_name="nightly" - -case "${GLUON_BRANCH:-}" in - "nightly" | "beta" | "stable") - gluon_branch="$GLUON_BRANCH" - ;; - *): - gluon_branch="$default_gluon_branch_name" - ;; -esac - -echo $gluon_branch -- GitLab