RTEMS4.12 ; SMP ; Native FPU

install/85_rtems.sh

@@ -48,7 +48,7 @@ fi
 # Make sure the RTEMS_MAKEFILE_PATH_LEON is set
 grep RTEMS_MAKEFILE_PATH_LEON $HOME/.bashrc.taste >/dev/null || {
     read UNUSED FINAL_RTEMS_FOLDER <<< $(cat "$INSTALLED_RTEMS_INFO")
-    LEON2_FOLDER="$(find $FINAL_RTEMS_FOLDER -type d -name leon2)"
+    LEON3_FOLDER="$(find $FINAL_RTEMS_FOLDER -type d -name leon3)"
     echo Adding RTEMS_MAKEFILE_PATH_LEON env var to settings.
-    echo "export RTEMS_MAKEFILE_PATH_LEON=\"$LEON2_FOLDER\"" >> $HOME/.bashrc.taste
+    echo "export RTEMS_MAKEFILE_PATH_LEON=\"$LEON3_FOLDER\"" >> $HOME/.bashrc.taste
 }