update

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

diff --git a/kernel/fiasco/src/Modules.ia32 b/kernel/fiasco/src/Modules.ia32
index b7f08b2e7d138bddeef5dddb01d646dcd31f96b0..3666aece3a08722b1fcdfeb4a0392212f7ce50c8 100644 (file)
--- a/kernel/fiasco/src/Modules.ia32
+++ b/kernel/fiasco/src/Modules.ia32
@@ -226,6 +226,8 @@ jdb_tcb_IMPL                := jdb_tcb jdb_tcb-ia32-ux
 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