diff options
| author | Camil Staps | 2018-10-22 14:52:11 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-10-22 14:52:11 +0200 |
| commit | a1d7bf0065e12e27688339ed393ffc13720fb2f0 (patch) | |
| tree | 2e20e354f74d0ee22e4154824e42cc03922eeda1 /clean/bin | |
| parent | Remove outdated non-nightly build in install_clean (diff) | |
install_clean: save previous installation to clean.bak
Diffstat (limited to 'clean/bin')
| -rwxr-xr-x | clean/bin/install_clean | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean index 6de8027..461dc14 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -1,6 +1,11 @@ #!/bin/bash -rm -rf /opt/clean +if [ -d /opt/clean ]; then + rm -rf /opt/clean.bak + mv /opt/clean /opt/clean.bak +else + rm -rf /opt/clean +fi mkdir /opt/clean for pkg in base lib-directory lib-dynamics lib-gast lib-graphcopy lib-itasks lib-platform lib-sapl lib-tcpip test do |