| Index: dart/runtime/tools/make_version.py
|
| diff --git a/dart/runtime/tools/make_version.py b/dart/runtime/tools/make_version.py
|
| index f348a1eda72ac15b96c4f399e002ad04ca00e8d1..952e6c842e8bbb47467520000cc2a5250ba20953 100644
|
| --- a/dart/runtime/tools/make_version.py
|
| +++ b/dart/runtime/tools/make_version.py
|
| @@ -117,4 +117,9 @@ def main(args):
|
| return -1
|
|
|
| if __name__ == '__main__':
|
| - sys.exit(main(sys.argv))
|
| + sys.stderr.write('starting make_version.py\n')
|
| + sys.stderr.flush()
|
| + exit_code = main(sys.argv)
|
| + sys.stderr.write('exiting make_version.py (exit code: %s)\n' % exit_code)
|
| + sys.stderr.flush()
|
| + sys.exit(exit_code)
|
|
|