From 00644af9b3f5a47dd6cb432aa7b81b86f17726fa Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Mon, 22 Jun 2020 10:13:33 +0200
Subject: Clean install script: allow platform argument; increase heap size in
 iTasksDev environment

---
 clean/bin/install_clean | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'clean/bin/install_clean')

diff --git a/clean/bin/install_clean b/clean/bin/install_clean
index 847834e..557b432 100755
--- a/clean/bin/install_clean
+++ b/clean/bin/install_clean
@@ -1,11 +1,17 @@
 #!/bin/bash
 
+PLATFORM="$1"
+if [ -z "$PLATFORM" ]; then
+	PLATFORM="x64"
+fi
+
 if [ -d "$CLEAN_HOME" ]; then
 	rm -rf "$CLEAN_HOME.bak"
 	mv "$CLEAN_HOME" "$CLEAN_HOME.bak"
 else
 	rm -rf "$CLEAN_HOME"
 fi
+
 mkdir -p "$CLEAN_HOME"
 for pkg in \
 	base \
@@ -21,7 +27,7 @@ for pkg in \
 	lib-tcpip \
 	test
 do
-	curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-x64/clean-$pkg-linux-x64-latest.tgz\
+	curl ftp://ftp.cs.ru.nl/pub/Clean/builds/linux-$PLATFORM/clean-$pkg-linux-$PLATFORM-latest.tgz\
 		| tar xz --strip-components=1 -C "$CLEAN_HOME"
 done
 
-- 
cgit v1.2.3