X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=install_clean.sh;h=f7fe903a9b5ed88ccdd4cdb4a76a5ea0b4919878;hb=5bb47d85ee13e4c0907a82971a907657511211cc;hp=2a42593d0594ad6a1428660e555548c510d202f9;hpb=88ecd686ff62986cde139abb65ab52b9e93d3035;p=mTask.git

diff --git a/install_clean.sh b/install_clean.sh
index 2a42593..f7fe903 100755
--- a/install_clean.sh
+++ b/install_clean.sh
@@ -17,9 +17,5 @@ mkdir -p "$TARGET"
 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"
-curl -sSL https://gitlab.science.ru.nl/clean-and-itasks/iTasks-SDK/raw/master/Libraries/iTasks/_Framework/TaskServer.dcl \
-	> $TARGET/lib/iTasks/iTasks/_Framework/TaskServer.dcl
-curl -sSL https://gitlab.science.ru.nl/clean-and-itasks/iTasks-SDK/raw/master/Libraries/iTasks/_Framework/TaskServer.icl \
-	> $TARGET/lib/iTasks/iTasks/_Framework/TaskServer.icl
 
 echo "export CLEAN_HOME=$TARGET; export PATH=$TARGET/bin:\$PATH;"