user_main: pass remaining arguments to the user program

[model-checker.git] / test / linuxrwlocks.c

diff --git a/test/linuxrwlocks.c b/test/linuxrwlocks.c
index 896ae30b2dd54cd97f4e18fda4de60face50e018..a14ed02028796a422cd4f6ae7b20d8323796e093 100644 (file)
--- a/test/linuxrwlocks.c
+++ b/test/linuxrwlocks.c
@@ -97,7 +97,7 @@ static void a(void *obj)
        }
 }
 
-void user_main()
+int user_main(int argc, char **argv)
 {
        thrd_t t1, t2;
        atomic_init(&mylock.lock, RW_LOCK_BIAS);
@@ -107,4 +107,6 @@ void user_main()
 
        thrd_join(t1);
        thrd_join(t2);
+
+       return 0;
 }