add clean bin to install
authorMart Lubbers <mart@martlubbers.net>
Mon, 6 Feb 2017 15:02:14 +0000 (16:02 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 6 Feb 2017 15:02:14 +0000 (16:02 +0100)
install_clean.sh

index 654e45c..005cbe7 100755 (executable)
@@ -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;"