From: Uwe Köcher <mail@uwe.koecher.cc>
Date: Fri, 22 Jan 2021 22:52:55 +0000 (+0100)
Subject: guess_platform: use major version for debian as well
X-Git-Tag: v9.3.0-r3~28^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F164%2Fhead;p=candi.git

guess_platform: use major version for debian as well
---

diff --git a/candi.sh b/candi.sh
index 83eed8c..55d57b4 100755
--- a/candi.sh
+++ b/candi.sh
@@ -589,7 +589,7 @@ guess_platform() {
             echo rhel${OS_MAJOR_VER}
 
         elif [ "$OS_ID" == "debian" ]; then
-            echo debian${OS_VERSIONID}
+            echo debian${OS_MAJOR_VER}
 
         elif [ "$OS_ID" == "ubuntu" ]; then
             echo ubuntu${OS_MAJOR_VER}