commit c7d4d8138520e02fc6a97dbae9c887c0e4a10a75
Author: Stephan Witt <[email protected]>
Date: Fri Aug 23 08:09:53 2019 +0200
#11642 add version of used python to configure.log protocol
---
lib/configure.py | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/lib/configure.py b/lib/configure.py
index a8a0da6..618677e 100644
--- a/lib/configure.py
+++ b/lib/configure.py
@@ -1804,6 +1804,7 @@ if __name__ == '__main__':
lyx_keep_temps = False
version_suffix = ''
lyx_binary_dir = ''
+ logger.info("+Running LyX configure with Python %s.%s.%s",
sys.version_info[0], sys.version_info[1], sys.version_info[2])
## Parse the command line
for op in sys.argv[1:]: # default shell/for list is $*, the options
if op in [ '-help', '--help', '-h' ]:
