Adding support for Progress Linux to supported-versions.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 11 insertions, 0 deletions

diff --git a/debian/supported-versions b/debian/supported-versions
index f7a7cdc..34d0ac9 100755
--- a/debian/supported-versions
+++ b/debian/supported-versions
@@ -31,6 +31,7 @@
 # debian [release]: use Debian defaults
 # debian-backports [release]: use Debian Backports defaults
 # ubuntu [release]: use Ubuntu defaults
+# progress-linux: use Progress Linux defaults
 # pgdg [release]: use defaults for apt.postgresql.org
 # installed: consider all installed versions supported (determined by
 #            postgresql-server-dev-X packages)
@@ -61,6 +62,9 @@ default() {
         [dD]ebian)
             debian "$RELEASE"
             ;;
+        progress-linux)
+            progress_linux
+            ;;
         *)
             echo "supported-versions: WARNING! Unknown distribution: $DISTRO" >&2
             if  echo $ID_LIKE | egrep  '(^| )ubuntu($| )' > /dev/null; then
@@ -127,6 +131,10 @@ debian_backports() {
     esac
 }
 
+progress_linux() {
+    echo "$DEFAULT"
+}
+
 pgdg() {
     cat <<-EOF
 	9.5
@@ -175,6 +183,9 @@ echo "$SUPPORTED_VERSIONS" | while read version release; do
             get_release
             debian_backports "${release:-$RELEASE}"
             ;;
+        progress-linux)
+            progress_linux
+            ;;
         ubuntu)
             get_release
             ubuntu "${release:-$RELEASE}"