From af388f6b2c06d38b400d482ac3ccc1f819b5bf9f Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 6 Feb 2017 15:55:21 +0100
Subject: [PATCH] fix install script

---
 install_clean.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/install_clean.sh b/install_clean.sh
index ca77a86..5a60e02 100755
--- a/install_clean.sh
+++ b/install_clean.sh
@@ -11,8 +11,5 @@ mkdir -p "$TARGET"
 curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \
 	| gunzip | tar --strip-components=1 --extract --directory="$TARGET"
 
-if [ "$CLEAN_HOME" != "$TARGET" ]; then
-	echo "Add or change \$CLEAN_HOME to \"$TARGET\""
-fi
 echo "CLEAN_HOME=$TARGET"
 echo "PATH=$TARGET:\$PATH"
-- 
2.20.1