diff options
Diffstat (limited to 'riscos/gui.c')
-rw-r--r-- | riscos/gui.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscos/gui.c b/riscos/gui.c index fdfe5a522..4d8b5a17c 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -872,7 +872,7 @@ void ro_gui_signal(int sig) xhourglass_on(); xhourglass_colours(0x0000ffff, 0x000000ff, &old_sand, &old_glass); - options_dump(); + options_dump(stderr); /*rufl_dump_state();*/ #ifndef __ELF__ |