mirror of
https://github.com/catchorg/Catch2.git
synced 2024-12-23 11:43:29 +01:00
Added cleanup as per #125
This commit is contained in:
parent
85c0e3d42b
commit
5f66d1d001
@ -130,6 +130,7 @@ namespace Catch {
|
|||||||
// Handle list request
|
// Handle list request
|
||||||
if( config.listSpec != List::None ) {
|
if( config.listSpec != List::None ) {
|
||||||
List( config );
|
List( config );
|
||||||
|
Catch::cleanUp();
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user