defined 'test_name' for msg()/vmsg() to work properly
[pintos-anon] / src / tests / filesys / base / child-syn-read.c
index e426fadc570ba4804e667e61e49a05e6c92d66af..77a5e26252f6116cb2b25e2c7add0bb5e9787cb1 100644 (file)
@@ -11,6 +11,8 @@
 #include "tests/lib.h"
 #include "tests/filesys/base/syn-read.h"
 
+const char *test_name = "child-syn-read";
+
 static char buf[BUF_SIZE];
 
 int