diff options
Diffstat (limited to 'rtems/common.sh')
| -rw-r--r-- | rtems/common.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/rtems/common.sh b/rtems/common.sh index a7d0711..05a417f 100644 --- a/rtems/common.sh +++ b/rtems/common.sh @@ -41,6 +41,10 @@ print_rtems_cpus() echo "Formats without a -XXX suffix are the preferred target." echo echo "CPU-rtems5 is used as the GNU target." + echo + echo "Formats without a -XXX suffix are the preferred target." + echo + echo "CPU-rtems${RTEMS_VERSION} is used as the GNU target." } # CPU must be set before we run any of this stuff @@ -87,7 +91,7 @@ case ${CPU} in esac # insert the os version -target=`echo $target | sed -e 's/-rtems$/-rtems5/' -e 's/-rtemself$/-rtemself5/'` +target=`echo $target | sed -e "s/-rtems$/-rtems${RTEMS_VERSION}/"` # # Figure out if GNU make is available |