diff options
Diffstat (limited to '')
-rwxr-xr-x | debian/progress-linux.config | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/debian/progress-linux.config b/debian/progress-linux.config index 6939689..fa0b021 100755 --- a/debian/progress-linux.config +++ b/debian/progress-linux.config @@ -39,35 +39,35 @@ PROGRESS_LINUX_VERSION="$(if [ -e /etc/progress-linux_version ]; then cat /etc/p if [ -n "${PROGRESS_LINUX_VERSION}" ] then case "${PROGRESS_LINUX_VERSION}" in - 5*) + 5.*) RELEASE="5" CODENAME="engywuck" Run_debconf ;; - 6*) + 6.*) RELEASE="6" CODENAME="fuchur" Run_debconf ;; - 7*) + 7.*) RELEASE="7" CODENAME="graograman" Run_debconf ;; - 8*) + 8.*) RELEASE="8" CODENAME="horok" Run_debconf ;; - 9*) + 9.*) RELEASE="9" CODENAME="illuan" |