diff --git a/common/board_r.c b/common/board_r.c
index 8e7a3ac..ba9a68d 100644
--- a/common/board_r.c
+++ b/common/board_r.c
@@ -587,6 +587,7 @@
 {
 	puts("DOC:   ");
 	doc_init();
+	return 0;
 }
 #endif