changed: install script to delete `tests` directory

diff --git a/bin/install.sh b/bin/install.sh
index b97b2c6207db7d2d55949313e3dd15143e037ff2..fad8592e58db76cc958818d4ffa2ace07c39d022 100755 (executable)
--- a/bin/install.sh
+++ b/bin/install.sh
@@ -390,6 +390,9 @@ onyx_download() {
 
   mkdir -p $INSTALL_DIRECTORY
 
+  # Remove old tests directory that should not be shipped with the toolchain anymore
+  rm -rf $INSTALL_DIRECTORY/tests 2>/dev/null
+
   # Untar the Onyx contents in the install directory
   tar -C $INSTALL_DIRECTORY -zxf $DOWNLOAD_FILE
 
@@ -444,4 +447,4 @@ else
   INSTALL_DIRECTORY="${ONYX_DIR}"
 fi
 
-onyx_install $1 # $2
\ No newline at end of file
+onyx_install $1 # $2