[PATCH 40/41] Disable Linux-based pfinet on x86_64

[Sergey Bugaev]

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 874349c0..c611a9ea 100644
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ lib-subdirs = libshouldbeinlibc libihash libiohelp libports \
 # Hurd programs
 prog-subdirs = auth proc exec term \
               ext2fs isofs tmpfs fatfs \
-              storeio pflocal pfinet defpager mach-defpager \
+              storeio pflocal defpager mach-defpager \
               login daemons boot console \
               hostmux usermux ftpfs trans \
               console-client utils sutils libfshelp-tests \
@@ -48,6 +48,10 @@ prog-subdirs = auth proc exec term \
               eth-multiplexer \
               shutdown
 
+ifneq ($(machine),x86_64)
+prog-subdirs += pfinet
+endif
+
 ifeq ($(HAVE_LIBRUMP),yes)
 prog-subdirs += rumpdisk
 endif
-- 
2.40.1