diff options
| author | Amar Takhar <amar@rtems.org> | 2015-02-27 12:17:10 -0500 |
|---|---|---|
| committer | Amar Takhar <amar@rtems.org> | 2015-12-11 15:15:48 -0500 |
| commit | 4b937959856b525d10e14712250f947d1004bd17 (patch) | |
| tree | a8fa2bf252fd8ea484976a5e60ab1d52f5802e04 | |
| parent | b973de2f48f086c98ef8f3c13715f8392d30cafa (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") |