X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fmain.c;h=7c952283a8128055a0b5da6fb3a5ca4887f6c921;hb=bfd605f370a9bd8c6ab52d2f903bd1745136add6;hp=e0e680f30b5e621b6b21b320b652918519f17f88;hpb=c1fb8a1c11cbebbf805b03d43068ead9ec60327d;p=pspp

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index e0e680f30b..7c952283a8 100644
--- a/src/ui/gui/main.c
+++ b/src/ui/gui/main.c
@@ -28,6 +28,7 @@
 #include "libpspp/copyleft.h"
 #include "ui/source-init-opts.h"
 
+#include "gl/configmake.h"
 #include "gl/progname.h"
 #include "gl/relocatable.h"
 #include "gl/xalloc.h"