From: Sebastian Kinnewig <kinnewig@ifam.uni-hannover.de>
Date: Wed, 17 Jun 2020 07:44:23 +0000 (+0200)
Subject: add debian10 as supported platform
X-Git-Tag: v9.2.0-r2~1^2^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=576eebff08472ad0b20ccda5206b6e254d3a8d5b;p=candi.git

add debian10 as supported platform
---

diff --git a/candi.sh b/candi.sh
index 86eb069..3d427e3 100755
--- a/candi.sh
+++ b/candi.sh
@@ -590,6 +590,7 @@ guess_platform() {
             local DESCRIPTION=$(lsb_release -d -s)
             case ${DISTRO}:${CODENAME}:${DESCRIPTION} in
                 *:*:*Debian*9*)       echo debian9;;
+                *:*:*Debian*10*)      echo debian10;;
                 *:*:*Ubuntu*)         echo ubuntu${OSVER};;
                 *:*:*openSUSE\ 12*)   echo opensuse12;;
                 *:*:*openSUSE\ 13*)   echo opensuse13;;