diff options
-rwxr-xr-x | rtems-release-rsb-version | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rtems-release-rsb-version b/rtems-release-rsb-version index 8f0c803..d9a63c9 100755 --- a/rtems-release-rsb-version +++ b/rtems-release-rsb-version @@ -67,6 +67,9 @@ echo "Release: ${release}" if [ \( $(echo "${release}" | sed -e 's/.*rc.*/yes/') = "yes" \) -o \ \( $(echo "${release}" | sed -e 's/.*RC.*/yes/') = "yes" \) ]; then echo "release_path = ${rtems_release_url}/${version}/rc/${release}/sources" >> ${prefix}/VERSION +elif [ \( $(echo "${release}" | sed -e 's/.*-m.*/yes/') = "yes" \) ]; then + revision=$(echo "${release}" | sed -e 's/-m.*//') + echo "release_path = ${rtems_release_url}/${version}/${revision}/${release}/sources" >> ${prefix}/VERSION else echo "release_path = ${rtems_release_url}/${version}/${release}/sources" >> ${prefix}/VERSION fi |