From 04b63bf2291959d44b133a744e88abca73045a9b Mon Sep 17 00:00:00 2001
From: Olivier Stasse <ostasse@laas.fr>
Date: Wed, 11 Jul 2018 16:14:45 +0200
Subject: [PATCH] [wip/sysdep/pal-distro.sh] Fix detection of Pal distros.

---
 sysdep/pal-distro.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/sysdep/pal-distro.sh b/sysdep/pal-distro.sh
index 2245ea3f..913e7f6e 100755
--- a/sysdep/pal-distro.sh
+++ b/sysdep/pal-distro.sh
@@ -17,14 +17,14 @@
 #
 #                                            Anthony Mallet on Fri Sep  9 2011
 #
-if test -f /opt/pal/erbium; then
+if test -d /opt/pal/erbium; then
   echo "palerbium"
   exit 0
 fi
-if test -f /opt/pal/dubnium; then
+if test -d /opt/pal/dubnium; then
   echo "paldubnium"
   exit 0
 fi
-echo "Not found"
+echo "NotFound"
 exit 0
 
-- 
GitLab