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

diff --git a/src/ui/gui/main.c b/src/ui/gui/main.c
index e0e680f3..7c952283 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"