X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/Modules.ia32

diff --git a/kernel/fiasco/src/Modules.ia32 b/kernel/fiasco/src/Modules.ia32
index b7f08b2e7..3666aece3 100644
--- 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