diff options
| -rwxr-xr-x | configure.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 7b8941429..44de3693a 100755 --- a/configure.py +++ b/configure.py @@ -1827,8 +1827,8 @@ if __name__ == '__main__': try: main() except Exception as e: - logging.error(str(e)) - #import traceback - #traceback.print_exc(file=sys.stderr) + logging.error(e) + import traceback + logging.info(traceback.format_exc()) sys.exit(1) sys.exit(0) |