discover: Add ipmi module
[petitboot] / discover / Makefile.am
index 5d0f6e28f97a4ecc0c3f6578cb9482864df82da7..1e4df0b19ca34d286dc6d5302b3f5f69bca261c5 100644 (file)
@@ -69,6 +69,8 @@ discover_pb_discover_CPPFLAGS = \
 discover_platform_ro_SOURCES = \
        discover/platform.c \
        discover/platform.h \
+       discover/ipmi.c \
+       discover/ipmi.h \
        discover/platform-powerpc.c
 
 discover_platform_ro_LINK = \