diff options
author | Chris Johns <chrisj@rtems.org> | 2017-03-24 16:12:13 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-03-24 16:12:13 +1100 |
commit | de96950420710c733bbbe45d9b02f6e1359452dd (patch) | |
tree | 101b56843c2157d2256eaa9133ec0f0c889c2449 /rtems-release-package-start | |
parent | Lets the tagging also push the tags. (diff) | |
download | rtems-release-de96950420710c733bbbe45d9b02f6e1359452dd.tar.bz2 |
Add release notes and doxygen to the release.
Rename the examples to have an rtems prefix.
Diffstat (limited to 'rtems-release-package-start')
-rwxr-xr-x | rtems-release-package-start | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/rtems-release-package-start b/rtems-release-package-start index c98d0fe..e540180 100755 --- a/rtems-release-package-start +++ b/rtems-release-package-start @@ -57,12 +57,19 @@ else worker= fi +revision_no=$(echo ${revision} | sed -e 's/\-.*$//') release=${version}.${revision} prefix=${package}-${release} -git_remote=git://git.rtems.org/${package}.git -git_local=${package}-release-${release}.git -git_submodules_excludes="freebsd-org" +if [ -z "${rtems_git_repo}" ]; then + rtems_git_repo=yes +fi + +if [ ${rtems_git_repo} = yes ]; then + git_remote=git://git.rtems.org/${package}.git + git_local=${package}-release-${release}.git + git_submodules_excludes="freebsd-org" +fi workspace=ws-${package} @@ -70,7 +77,9 @@ checksum=sha512 echo "Package: ${package}" echo "Release: ${release}" -echo "Repo : ${git_remote}" +if [ ${rtems_git_repo} = yes ]; then + echo "Repo : ${git_remote}" +fi if [ ! -e ${release} ]; then mkdir ${release} |