mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 11:27:39 +02:00
added __attribute__((unused))
This commit is contained in:
parent
49aa944ffb
commit
2b917502c1
2 changed files with 6 additions and 3 deletions
|
|
@ -51,7 +51,7 @@ void test_concurrently(const char *test, pthread_handler handler, int n, int m)
|
|||
ok(!bad, "tested %s in %g secs (%d)", test, ((double)now)/1e7, bad);
|
||||
}
|
||||
|
||||
int main(int argc, char **argv)
|
||||
int main(int argc __attribute__((unused)), char **argv)
|
||||
{
|
||||
MY_INIT("thd_template");
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue