make up to date

[cloogle-irc.git] / install_clean.sh

diff --git a/install_clean.sh b/install_clean.sh
index f5da1d9..f7fe903 100644 (file)
--- a/install_clean.sh
+++ b/install_clean.sh
@@ -18,10 +18,4 @@ echo "Downloading and installing clean nightly" >&2
 curl -sSL ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-bundle-complete-linux-x64-latest.tgz \
        | tar --gunzip --strip-components=1 --extract --directory="$TARGET"
 
-echo "Apply patches" >&2
-curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.dcl\
-       > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.dcl
-curl -sSL https://gitlab.science.ru.nl/mlubbers/iTasks-SDK/raw/95-addbackgroundtask/Libraries/iTasks/_Framework/TaskServer.icl\
-       > "$TARGET"/lib/iTasks/iTasks/_Framework/TaskServer.icl
-
 echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"