Lines Matching refs:RELEASE
42 RELEASE=""
48 if [ -n "$RELEASE" ]; then
52 RELEASE="${1#-r}"
53 if [ -z "$RELEASE" ]; then
55 RELEASE="$1"
56 if [ -z "$RELEASE" ]; then
57 echo "No release specified with -r" >&2
85 if [ -n "$RELEASE" ] && [ -z "$SUBDIR" ]; then
86 echo "Release specified without subdirectory" >&2
106 if [ -z "$RELEASE" ]; then
107 RELEASE=master
115 if [ "$RELEASE" = "master" ]; then
118 git clone -q -b releases/gcc-$RELEASE $GITROOT gcc
264 if [ "$RELEASE" = "master" ]; then
Indexes created Wed Mar 04 05:31:52 UTC 2026