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

diff --git a/src/Make.build b/src/Make.build
index 2cab5e15ae..6a4f36564e 100644
--- a/src/Make.build
+++ b/src/Make.build
@@ -1,14 +1,13 @@
 ## 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=
 
 if cc_is_gcc
 AM_CFLAGS+=-Wall -W -Wwrite-strings -Wstrict-prototypes \
--Wpointer-arith -Wno-sign-compare -Wmissing-prototypes \
--ansi 
+-Wpointer-arith -Wno-sign-compare -Wmissing-prototypes
 endif
 
 if unix