discover/platform-powerpc: Set IPMI OS boot sensor
[petitboot] / discover / Makefile.am
index 1e4df0b19ca34d286dc6d5302b3f5f69bca261c5..7808110811cb00654f5605a51031235f780be568 100644 (file)
@@ -71,6 +71,8 @@ discover_platform_ro_SOURCES = \
        discover/platform.h \
        discover/ipmi.c \
        discover/ipmi.h \
+       discover/dt.c \
+       discover/dt.h \
        discover/platform-powerpc.c
 
 discover_platform_ro_LINK = \