ui/ncurses: Display current ipmi bootdev settings

[petitboot] / discover / Makefile.am

diff --git a/discover/Makefile.am b/discover/Makefile.am
index 5d0f6e28f97a4ecc0c3f6578cb9482864df82da7..7808110811cb00654f5605a51031235f780be568 100644 (file)
--- a/discover/Makefile.am
+++ b/discover/Makefile.am
@@ -69,6 +69,10 @@ discover_pb_discover_CPPFLAGS = \
 discover_platform_ro_SOURCES = \
        discover/platform.c \
        discover/platform.h \
+       discover/ipmi.c \
+       discover/ipmi.h \
+       discover/dt.c \
+       discover/dt.h \
        discover/platform-powerpc.c
 
 discover_platform_ro_LINK = \