]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/Modules.ppc32
update
[l4.git] / kernel / fiasco / src / Modules.ppc32
index a7c184d0a91a7a8cc4a7fe8e763cef9eb1a4406c..557acd82d7a201bc72f0be25054b6c595316ca3d 100644 (file)
@@ -172,6 +172,8 @@ jdb_tcb_IMPL                := jdb_tcb jdb_tcb-ppc32
 jdb_entry_frame_IMPL   := jdb_entry_frame-ppc32
 jdb_bp                 := jdb_bp
 thread_IMPL            += thread-debug 
+
+INTERFACES_JDB         += $(INTERFACES_JDB-y)
 endif
 
 CXXSRC_KERNEL          := kernel_panic.cc libc_backend_lock.cc