diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-03-31 01:44:33 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2020-03-31 01:45:06 +0200 |
commit | 39de1ea0c62ba7aeed8aef3cfdb51f9ae9f11326 (patch) | |
tree | c2447fc42a7bb7b2415343cf7c05dd3d169e6ad1 /Makeconf.local | |
parent | ade9d439dbc6d21d7353150dac357a55f2ad1a49 (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.local | 2 |
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 |