From c7d4d8138520e02fc6a97dbae9c887c0e4a10a75 Mon Sep 17 00:00:00 2001 From: Stephan Witt Date: Fri, 23 Aug 2019 08:09:53 +0200 Subject: [PATCH] #11642 add version of used python to configure.log protocol --- lib/configure.py | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/configure.py b/lib/configure.py index a8a0da6bb3..618677eca4 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' ]: