# HG changeset patch
# User ib
# Date 1357814203 0
# Node ID 4188b70dc3ffaad3e72ca72774943109f14a0e1d
# Parent  ce4b3cbeb1d0fe1bc2939547ed16fbce65a90cf3
Don't unconditionally set gtkDXR3Device.

Without CONFIG_DXR3 it's not part of gui_opts[]
and won't get freed then.

diff -r ce4b3cbeb1d0 -r 4188b70dc3ff gui/interface.c
--- a/gui/interface.c	Thu Jan 10 10:01:52 2013 +0000
+++ b/gui/interface.c	Thu Jan 10 10:36:43 2013 +0000
@@ -85,8 +85,10 @@
         cdrom_device = strdup(DEFAULT_CDROM_DEVICE);
     if (!dvd_device)
         dvd_device = strdup(DEFAULT_DVD_DEVICE);
+#ifdef CONFIG_DXR3
     if (!gtkDXR3Device)
         gtkDXR3Device = strdup("/dev/em8300-0");
+#endif
 
     if (stream_cache_size > 0) {
         gtkCacheOn   = True;