diff options
| author | Camil Staps | 2020-06-22 10:13:33 +0200 |
|---|---|---|
| committer | Camil Staps | 2020-06-22 10:13:33 +0200 |
| commit | 00644af9b3f5a47dd6cb432aa7b81b86f17726fa (patch) | |
| tree | d444b44861044290a545fbaaccb2c02d1a177d20 /clean/bin/install_clean | |
| parent | Clean: viia has been moved; use lib/exe instead of exe as CLEANLIB (diff) | |
Clean install script: allow platform argument; increase heap size in iTasksDev environment
Diffstat (limited to 'clean/bin/install_clean')
| -rwxr-xr-x | clean/bin/install_clean | 8 |
1 files changed, 7 insertions, 1 deletions
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 |