From 823d07d35d661449ebdfc3638ce0140dec5f3897 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 6 Feb 2017 16:02:14 +0100
Subject: [PATCH] add clean bin to install

---
 install_clean.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install_clean.sh b/install_clean.sh
index 654e45c..005cbe7 100755
--- a/install_clean.sh
+++ b/install_clean.sh
@@ -11,4 +11,4 @@ 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"
 
-echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET:\$PATH;"
+echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"
-- 
2.20.1