summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorDamien Zammit <damien@zamaudio.com>2020-03-29 22:37:23 +1100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-04-11 18:34:32 +0200
commit78f3d3ee0b18456f28a4605e62a3057a6b0b64c5 (patch)
treebe9bd942940df08eb426799168f23054c9a06220 /Makefile
parentb4ca6cb2acdfd30e6ef14e314ed1cb6f487c9fa2 (diff)
rumpdisk: Add userspace disk support via librump
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 6b1e8066..fa80398d 100644
--- a/Makefile
+++ b/Makefile
@@ -49,6 +49,10 @@ prog-subdirs = auth proc exec term \
acpi \
shutdown
+ifeq ($(HAVE_LIBRUMP),yes)
+prog-subdirs += rumpdisk
+endif
+
ifeq ($(HAVE_SUN_RPC),yes)
prog-subdirs += nfs nfsd
endif