diff options
Diffstat (limited to 'rtems-release-docs')
| -rwxr-xr-x | rtems-release-docs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index d561cc9..a5fa921 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -29,6 +29,8 @@ # POSSIBILITY OF SUCH DAMAGE. # +set -e + # # This worker script to build the doco. # |