summaryrefslogtreecommitdiff
path: root/Makeconf.local
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2020-03-31 01:44:33 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2020-03-31 01:45:06 +0200
commit39de1ea0c62ba7aeed8aef3cfdb51f9ae9f11326 (patch)
treec2447fc42a7bb7b2415343cf7c05dd3d169e6ad1 /Makeconf.local
parentade9d439dbc6d21d7353150dac357a55f2ad1a49 (diff)
Link against libmachdevdde
* Makeconf.local (libmachdev_path): Remove. (libmachdevdde_path): Add. * Makefile (LIBS): Use libmachdevdde_path instead of libmachdev_path.
Diffstat (limited to 'Makeconf.local')
-rw-r--r--Makeconf.local2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makeconf.local b/Makeconf.local
index 130c8cc7e..9ccb77189 100644
--- a/Makeconf.local
+++ b/Makeconf.local
@@ -4,7 +4,7 @@ SYSTEM = x86-l4v2
BUILDDIR ?= ..
-libmachdev_path := -L$(BUILDDIR)/libmachdev -lmachdev
+libmachdevdde_path := -L$(BUILDDIR)/libmachdevdde -lmachdevdde
libddekit_path := -L$(BUILDDIR)/libddekit -lddekit
libslab_path := -L$(BUILDDIR)/libhurd-slab -lhurd-slab
libbpf_path := -L$(BUILDDIR)/libbpf -lbpf