diff options
author | Amar Takhar <amar@rtems.org> | 2015-02-27 12:17:10 -0500 |
---|---|---|
committer | Amar Takhar <amar@rtems.org> | 2015-02-27 12:17:10 -0500 |
commit | 04e52e4632250e4c07123181246c30a32e78bf4b (patch) | |
tree | 2905f22e5bfc0b33ef34b67b9ecd20b2352f1fc6 | |
parent | a313bd43b03bbe66872b3fef8202b38ce50b0454 (diff) |
Print name of file written.
-rw-r--r-- | rtems_waf/docs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtems_waf/docs.py b/rtems_waf/docs.py index afa251035f..7725133d93 100644 --- a/rtems_waf/docs.py +++ b/rtems_waf/docs.py @@ -127,3 +127,4 @@ def rtems_cmd_docs(ctx): fp.write(footer()) + print("Wrote options.html") |