pintos: Avoid apparent name collision in definition of SIGALRM subroutine.
[pintos-anon] / src / tests / main.c
1 #include <random.h>
2 #include "tests/lib.h"
3 #include "tests/main.h"
4
5 int
6 main (int argc UNUSED, char *argv[]) 
7 {
8   test_name = argv[0];
9
10   msg ("begin");
11   random_init (0);
12   test_main ();
13   msg ("end");
14   return 0;
15 }