diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 10:35:56 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-05-28 10:35:56 +0100 |
commit | a2cbe9ec7c8c08d4742194f9f1167cb8966d64a6 (patch) | |
tree | 9b6985f2dbd52462d3b39795a47c25ab33ea393a /Test/lit.site.cfg | |
parent | d66e2b33a03da4975720e0c85311e909eb4c3e42 (diff) |
Report the python version being used when executing lit.
Diffstat (limited to 'Test/lit.site.cfg')
-rw-r--r-- | Test/lit.site.cfg | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Test/lit.site.cfg b/Test/lit.site.cfg index de51b761..229a773d 100644 --- a/Test/lit.site.cfg +++ b/Test/lit.site.cfg @@ -10,6 +10,8 @@ import platform import lit.util import lit.formats +lit_config.note('using Python {}'.format(sys.version)) + # name: The name of this test suite. config.name = 'Boogie' |