diff options
Diffstat (limited to 'release-helpers/release.sh')
| -rwxr-xr-x | release-helpers/release.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/release-helpers/release.sh b/release-helpers/release.sh index 8fda157..c1e0294 100755 --- a/release-helpers/release.sh +++ b/release-helpers/release.sh @@ -102,6 +102,9 @@ check_error $? "Not at the top of an RTEMS tree" type sb-bootstrap >/dev/null 2>&1 check_error $? "sb-bootstrap is not in your PATH" +type doxygen > /deve/null 2>&1 +check_error $? "doxygen is not in your PATH" + if [ ${bump_dot_release} = "no" -a ${bump_major_version} = "no" ] ; then fatal "Must select an action: bump major or dot release" fi |