diff options
| author | Jack Lloyd <[email protected]> | 2018-08-14 11:39:21 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-08-14 11:39:21 -0400 |
| commit | 36b279bd09a274fee8f93e1fd397638586432bda (patch) | |
| tree | 073ab01a6d272fb156246c7b7ef5d8c2f12a71c6 | |
| parent | 407bac40d25354f975651f3ec94f83c78db9e8d6 (diff) | |
If configure fails, direct users to GH issues [ci skip]
Better place for problems like this.
| -rwxr-xr-x | configure.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/configure.py b/configure.py index 26f606c7f..d31c8c20b 100755 --- a/configure.py +++ b/configure.py @@ -3179,10 +3179,8 @@ if __name__ == '__main__': logging.error("""%s An internal error occurred. -Don't panic, this is probably not your fault! - -Please report the entire output at https://github.com/randombit/botan or email -to the mailing list https://lists.randombit.net/mailman/listinfo/botan-devel +Don't panic, this is probably not your fault! Please open an issue +with the entire output at https://github.com/randombit/botan You'll meet friendly people happy to help!""" % traceback.format_exc()) |