diff options
| author | Jack Lloyd <[email protected]> | 2017-01-22 14:54:37 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-01-22 14:54:37 -0500 |
| commit | c58b07498a1fbd3678ede3006dc55502e1d862aa (patch) | |
| tree | 8b17d38e70daa9ee5f25516548b80b36b625bf4f | |
| parent | 7e9b18ecfe173a13f574c9e882b1cf5510f62afb (diff) | |
Missing traceback
| -rwxr-xr-x | configure.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.py b/configure.py index 5063d24bd..3d4924ec5 100755 --- a/configure.py +++ b/configure.py @@ -2408,6 +2408,7 @@ if __name__ == '__main__': try: main() except ConfigureError as e: + logging.debug(traceback.format_exc()) logging.error(e) except Exception as e: # pylint: disable=broad-except logging.debug(traceback.format_exc()) |