Index: kernel/test/print/print5.c
===================================================================
--- kernel/test/print/print5.c	(revision 7c3fb9bd77e4d2f6c10517a052e567f176fa91ee)
+++ kernel/test/print/print5.c	(revision 3cdd876d0918f7f14a6d0e500a2f8a23bfdcb133)
@@ -37,5 +37,5 @@
  *
  */
-#define _HELENOS_NVERIFY_PRINTF
+#pragma GCC diagnostic ignored "-Wformat"
 
 #include <print.h>