1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * Copyright (c) International Business Machines Corp., 2001
4 * Copyright (c) 2012 Cyril Hrubis <chrubis@suse.cz>
5 */
6
7#include <unistd.h>
8#define TST_NO_DEFAULT_MAIN
9#include "tst_test.h"
10
11int main(void)
12{
13	tst_reinit();
14
15	TST_CHECKPOINT_WAKE(0);
16
17	pause();
18
19	return 0;
20}
21