update

[l4.git] / kernel / fiasco / src / Modules.amd64

diff --git a/kernel/fiasco/src/Modules.amd64 b/kernel/fiasco/src/Modules.amd64
index 201c4a1675a8fab184ab3689b1b577c5bbedcfb4..9ebc1f64d0481fc71baba11b31a4774350616f1e 100644 (file)
--- a/kernel/fiasco/src/Modules.amd64
+++ b/kernel/fiasco/src/Modules.amd64
@@ -225,6 +225,8 @@ jdb_tcb_IMPL                := jdb_tcb jdb_tcb-amd64
 jdb_trace_set_IMPL     := jdb_trace_set jdb_trace_set-ia32-ux
 
 INTERFACES_JDB-$(CONFIG_JDB_MISC)      += jdb_tetris
+
+INTERFACES_JDB         += $(INTERFACES_JDB-y)
 endif