X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FMake.build;h=6a4f36564ef6c6f1b89b3855f77c9dbe858bdbcb;hb=6d2a8977cc6a54e9e2278467f2af3d5ae277cd43;hp=aad9687c0d11207caf4f27e385d6f5b18af850dd;hpb=dcd7e905755e831af27550a052cd9f2c7c0aa427;p=pspp

diff --git a/src/Make.build b/src/Make.build
index aad9687c0d..6a4f36564e 100644
--- a/src/Make.build
+++ b/src/Make.build
@@ -1,7 +1,7 @@
 ## Makefile.am include file -*- makefile -*-
 
 AM_CPPFLAGS = -I$(top_srcdir) -I$(top_srcdir)/src -I$(top_srcdir)/lib	\
--I$(top_srcdir)/intl 
+-I$(top_srcdir)/intl -I$(top_srcdir)/gl -I$(top_builddir)/gl
 
 AM_CFLAGS=