From 87511f499e0e4c6302ce6f7d50bfef5ae60d2c1d Mon Sep 17 00:00:00 2001
From: Romain Pelisse <belaran@gmail.com>
Date: Wed, 28 Aug 2019 08:00:46 +0200
Subject: [PATCH] Fix jcliff default home to /usr/share/jcliff

---
 src/main/scripts/jcliff | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scripts/jcliff b/src/main/scripts/jcliff
index 1631dbf..9ebcbf3 100644
--- a/src/main/scripts/jcliff
+++ b/src/main/scripts/jcliff
@@ -24,7 +24,7 @@ if [ -z "${JBOSS_HOME}" ]; then
   exit 1
 fi
 
-readonly JCLIFF_HOME=${JCLIFF_HOME:-'/usr/share/jcliff-2.11.13'}
+readonly JCLIFF_HOME=${JCLIFF_HOME:-'/usr/share/jcliff'}
 if [ ! -d "${JCLIFF_HOME}" ]; then
   echo "Provided JCLIFF_HOME is NOT a directory or does not exist: ${JCLIFF_HOME}."
   exit 2