X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=b928691085d4ecefd4d0556dfbba6b13ede7ced6;hb=29750abbb77e892f937b6551984df1952b4163a1;hp=c38de5535c9df766de54797ca0c5898dfdcf8021;hpb=c447cd3622f0c316c0be0eed94667b53634bbb13;p=pspp

diff --git a/doc/automake.mk b/doc/automake.mk
index c38de5535c..b928691085 100644
--- a/doc/automake.mk
+++ b/doc/automake.mk
@@ -189,7 +189,7 @@ pspp_output = native/utilities/pspp-output
 
 native/Makefile:
 	$(MKDIR_P) native
-	(cd native && $(abs_top_srcdir)/configure --host=$$build --without-gui)
+	(cd native && $(abs_top_srcdir)/configure --host=$(build) --without-gui)
 
 native/gl/libgl.la: native/Makefile
 	(cd native && flock --verbose $(top_builddir)/native-lock $(MAKE) gl/libgl.la)