diff options
author | Chris Johns <chrisj@rtems.org> | 2020-08-14 07:58:15 +1000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2020-08-15 10:22:15 +1000 |
commit | 0f1cffdd63ed3986ebe9364d3f473f75ae88100a (patch) | |
tree | 44b2c8c884e8f4ec456298120fac378810321133 /rtems-release-version | |
parent | Work around version numbering mismatch with the kernel (diff) | |
download | rtems-release-0f1cffdd63ed3986ebe9364d3f473f75ae88100a.tar.bz2 |
Fix release branch git clones
Closes #4051
Diffstat (limited to 'rtems-release-version')
-rw-r--r-- | rtems-release-version | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/rtems-release-version b/rtems-release-version index a2b7136..b964ff5 100644 --- a/rtems-release-version +++ b/rtems-release-version @@ -28,4 +28,22 @@ # POSSIBILITY OF SUCH DAMAGE. # -rtems_release_version="5.0" +if [ ${version} = "not-set" ]; then + echo "error: version not set" + exit 1 +fi + +if [ ${revision} = "not-set" ]; then + echo "error: revision not set" + exit 1 +fi + +release=${version}.${revision} + +# +# Version configuration. Overrides defaults. +# +if [ -f rtems-release-${version}-conf ]; then + rtems_release_conf=rtems-release-${version}-conf + . rtems-release-${version}-conf +fi |