X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fabout.c;h=007cb3d047be511728eaf7ed95cf4cd0e46f58a5;hb=d8749acaf878dccf9e4527c27d06d06eb5e03091;hp=34a3ccbe0b52eb815eed98a4297a23c8ae6554a6;hpb=077a1c38bd58911cb74a08f95be3691e49b87779;p=pspp-builds.git

diff --git a/src/ui/gui/about.c b/src/ui/gui/about.c
index 34a3ccbe..007cb3d0 100644
--- a/src/ui/gui/about.c
+++ b/src/ui/gui/about.c
@@ -18,6 +18,8 @@
     02110-1301, USA. */
 
 
+#include <config.h>
+
 #include <gtk/gtk.h>
 #include <glade/glade.h>