diff options
| -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' |