From: David Wells <drwells@email.unc.edu>
Date: Thu, 23 Sep 2021 15:21:58 +0000 (-0400)
Subject: Fix an undefined variable error.
X-Git-Tag: v9.3.2-r1~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c564615b0a91fbecabcc183e8191d7c946680e06;p=candi.git

Fix an undefined variable error.
---

diff --git a/candi.sh b/candi.sh
index d032851..a095511 100755
--- a/candi.sh
+++ b/candi.sh
@@ -646,10 +646,10 @@ guess_platform() {
         elif [ "${OS_NAME}" == "openSUSE Leap" ]; then
             echo opensuse15
 
-        elif [ "${PRETTY_NAME}" == "Arch Linux" ]; then
+        elif [ "${OS_PRETTY_NAME}" == "Arch Linux" ]; then
             echo arch
 
-        elif [ "${PRETTY_NAME}" == "Manjaro Linux" ]; then
+        elif [ "${OS_PRETTY_NAME}" == "Manjaro Linux" ]; then
             echo arch
         fi
     fi