summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSergey Bugaev <bugaevc@gmail.com>2023-05-09 00:31:35 +0300
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-05-10 02:51:31 +0200
commit19558c940e81d405dbda0ea1dd29549f34b5aa2a (patch)
tree73648fddc174626389c375131f98b3a619464349
parent6616fae3ee553b2d9c2da81ff38db3232185bd39 (diff)
Disable Linux-based pfinet on x86_64
Message-Id: <20230508213136.608575-41-bugaevc@gmail.com>
-rw-r--r--Makefile6
1 files changed, 5 insertions, 1 deletions
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