X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fautomake.mk;h=b928691085d4ecefd4d0556dfbba6b13ede7ced6;hb=cbb7b5901e2e6bc7b646ef0bfcab121a8ad567da;hp=c38de5535c9df766de54797ca0c5898dfdcf8021;hpb=0a18cc59b123294641d8e2bafc3d579be1f59e77;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)