X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=Makefile.am;h=b571440544eea389860dda85ffab45d3b32ce8a4;hb=ee1bfc05f5ab73883df26e616019e07a1bfee873;hp=8b44e82efcd760cfbd17ac186e088339494b3d8e;hpb=92635c65e5e265dc8114805af8974715539d90d2;p=pspp

diff --git a/Makefile.am b/Makefile.am
index 8b44e82efc..b571440544 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -24,8 +24,8 @@ BUILT_SOURCES =
 built-sources: $(BUILT_SOURCES)
 
 AM_CPPFLAGS = \
-	-I$(top_srcdir)/gl \
-	-I$(top_builddir)/gl \
+	-I"$(top_srcdir)/gl" \
+	-I"$(top_builddir)/gl" \
 	-DINSTALLDIR=\"$(bindir)\"
 
 AM_V_P ?= :