diff options
Diffstat (limited to 'release-helpers/release.sh')
-rwxr-xr-x | release-helpers/release.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/release-helpers/release.sh b/release-helpers/release.sh index 0b473cb..2cc3c3e 100755 --- a/release-helpers/release.sh +++ b/release-helpers/release.sh @@ -108,6 +108,7 @@ check_error $? "Not at the top of an RTEMS tree" check_dep sb-bootstrap check_dep doxygen check_dep mscgen +check_dep dot # install graphviz if [ ${bump_dot_release} = "no" -a ${bump_major_version} = "no" ] ; then fatal "Must select an action: bump major or dot release" |