X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fautomake.mk;h=ee824660b491ada89fdb8238f90998271506e2bf;hb=fac56c3201e08bc11995bd8b91c86d7781994f50;hp=f77f88c7935134c94beea5f30abb14a9f6dc6471;hpb=015e221b0f8578afee769528572c76387f26c629;p=pspp

diff --git a/src/ui/gui/automake.mk b/src/ui/gui/automake.mk
index f77f88c793..ee824660b4 100644
--- a/src/ui/gui/automake.mk
+++ b/src/ui/gui/automake.mk
@@ -3,7 +3,7 @@
 bin_PROGRAMS += src/ui/gui/psppire 
 
 src_ui_gui_psppire_CFLAGS = $(GTK_CFLAGS) $(GLADE_CFLAGS) -Wall \
-	-DINSTALLDIR=\"$(bindir)\"
+	-DINSTALLDIR=\"$(bindir)\" -DGDK_MULTIHEAD_SAFE=1
 
 
 src_ui_gui_psppire_LDFLAGS = \
@@ -142,8 +142,6 @@ src_ui_gui_psppire_SOURCES = \
 	src/ui/gui/psppire-buttonbox.h \
 	src/ui/gui/psppire-hbuttonbox.h \
 	src/ui/gui/psppire-vbuttonbox.h \
-	src/ui/gui/psppire-case-file.c \
-	src/ui/gui/psppire-case-file.h \
 	src/ui/gui/psppire-data-editor.c \
 	src/ui/gui/psppire-data-editor.h \
 	src/ui/gui/psppire-data-store.c \