diff options
author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2020-12-18 12:09:06 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2021-02-16 18:37:16 +0000 |
commit | dbe3e458d3e25fb092a5468a8fe551a6e7486aed (patch) | |
tree | 7cb59480c8f8e75baf4cd939eacd68d280b8bdb5 /test | |
parent | b73c455670c467539a28611be8d30ac421be8441 (diff) | |
download | klee-dbe3e458d3e25fb092a5468a8fe551a6e7486aed.tar.gz |
renaming 'libcxx' -> 'libc++'
Diffstat (limited to 'test')
-rw-r--r-- | test/lit.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index 53112bf9..2133bdbf 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -196,7 +196,7 @@ if config.enable_uclibc: if config.enable_posix_runtime: config.available_features.add('posix-runtime') -# LibC++ runtime feature +# libc++ runtime feature if config.enable_libcxx: config.available_features.add('libcxx') |