diff options
Diffstat (limited to 'clean/bin')
| -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 |