diff options
Diffstat (limited to 'maintainer-scripts/gcc_release')
| -rwxr-xr-x | maintainer-scripts/gcc_release | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/maintainer-scripts/gcc_release b/maintainer-scripts/gcc_release index 5e29309952d..5e0b3612a27 100755 --- a/maintainer-scripts/gcc_release +++ b/maintainer-scripts/gcc_release @@ -611,7 +611,12 @@ while [ $# -ne 0 ]; do sources) MODE_SOURCES=1;; tarfiles) MODE_TARFILES=1;; upload) MODE_UPLOAD=1;; - all) MODE_SOURCES=1; MODE_TARFILES=1; MODE_DIFFS=1; MODE_GZIP=1; MODE_UPLOAD=1;; + all) MODE_SOURCES=1; MODE_TARFILES=1; MODE_DIFFS=1; MODE_UPLOAD=1; + if [ $SNAPSHOT -ne 1 ]; then + # Only for releases and pre-releases. + MODE_GZIP=1; + fi + ;; *) error "Unknown mode $1";; esac shift |