From 7ae31255799b7aad9cf897343ff65cc26fab07cf Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 28 May 2023 23:48:35 +0200
Subject: Revert "Disable Linux-based pfinet on x86_64"

This reverts commit 19558c940e81d405dbda0ea1dd29549f34b5aa2a.

It now builds fine.
---
 Makefile | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index c611a9ea..874349c0 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 defpager mach-defpager \
+	       storeio pflocal pfinet defpager mach-defpager \
 	       login daemons boot console \
 	       hostmux usermux ftpfs trans \
 	       console-client utils sutils libfshelp-tests \
@@ -48,10 +48,6 @@ 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
-- 
cgit v1.2.3