1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-24 11:21:21 +03:00
This commit is contained in:
Vicențiu Ciorbaru
2017-05-16 13:53:15 +03:00
parent c33db2cdc0
commit 24ff179311
16 changed files with 108 additions and 39 deletions

View File

@@ -1,4 +1,4 @@
/* Copyright (c) 2008, 2011, Oracle and/or its affiliates. All rights reserved.
/* Copyright (c) 2008, 2017, Oracle and/or its affiliates. All rights reserved.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
@@ -117,6 +117,6 @@ int main(int, char **)
plan(5);
MY_INIT("pfs_timer-t");
do_all_tests();
return 0;
return (exit_status());
}