1 files changed, 2 insertions, 0 deletions
diff --git a/riscos/gui.h b/riscos/gui.h
index f3160c8a6..2d495e948 100644
--- a/riscos/gui.h
+++ b/riscos/gui.h
@@ -199,9 +199,11 @@ extern os_t sched_time;
 void ro_gui_debugwin_open(void);
 
 /* in search.c */
+#ifdef WITH_SEARCH
 void ro_gui_search_init(void);
 void ro_gui_search_prepare(struct gui_window *g);
 bool ro_gui_search_prepare_menu(void);
+#endif
 
 /* in print.c */
 void ro_gui_print_init(void);