Merge branch 'bug.9.1' of https://gitrepos.estec.esa.int/taste/taste-setup into bug.9.1

install/85_rtems.sh

@@ -60,3 +60,10 @@ cat $HOME/.bashrc.taste | \
     sed 's,opt/rtems-4.[0-9]*/sparc-rtems4.[0-9]*/leon.,opt/rtems-4.12/sparc-rtems4.12/leon3,' \
     > ${TMPCFG}
 mv ${TMPCFG} $HOME/.bashrc.taste
+
+# Add symlink from original path - RTEMS toolchain "burns" hardcoded paths!
+if [ -f /opt/rtems-4.12/bin/sparc-rtems4.12-gcc ] ; then \
+    /opt/rtems-4.12/bin/sparc-rtems4.12-gcc -v 2>&1 | \
+    grep 4f3b8da031e42d126afd94d17582123f66b78a68 && \
+    { cd /opt ; sudo ln -s rtems-4.12 rtems-4.11.2-SMP-FPU-2017.07.13 ; }
+fi

polyorb-hi-c @ 4dbab89f

-Subproject commit 3cd130e334d7fa837e5367d6725251f2359c9df2
+Subproject commit 4dbab89fe5df4f4fecab812841910bcfa6b9aeda