diff options
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/ws_main.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ws_main.py b/doc/ws_main.py index a88452b3..4b972a43 100755 --- a/doc/ws_main.py +++ b/doc/ws_main.py @@ -1088,7 +1088,7 @@ def rsync_int(bld, src, dst): dst = dst) ret = os.system(cmd) if ret: - bld.fatal("cmd '%s' exited with return status" % (cmd, ret)) + bld.fatal("cmd '%s' exited with return status: %s" % (cmd, ret)) def rsync_ext(bld, src, dst): @@ -1101,7 +1101,7 @@ def rsync_ext(bld, src, dst): dst = dst) ret = os.system(cmd) if ret: - bld.fatal("cmd '%s' exited with return status" % (cmd, ret)) + bld.fatal("cmd '%s' exited with return status: %s" % (cmd, ret)) def publish(bld): |