boot/openfirmware: Add missing KERNEL_PLATFORM headers

Change-Id: I408a0b6d94cf7ac7d968e6d7e5dccd4e8920ab12
2018-10-19 15:35:48 -05:00
parent 8522edfe36
commit ee2c12f4c8
1 changed files with 1 additions and 0 deletions
@@ -3,6 +3,7 @@ SubDir HAIKU_TOP src system boot platform openfirmware arch ppc ;
 SubDirHdrs $(HAIKU_TOP) src system boot platform $(TARGET_BOOT_PLATFORM) ;
 UsePrivateSystemHeaders ;
 UsePrivateHeaders kernel [ FDirName kernel arch $(TARGET_KERNEL_ARCH) ] 
+	[ FDirName kernel boot platform $(HAIKU_KERNEL_PLATFORM) ]
 	[ FDirName kernel boot platform $(HAIKU_BOOT_PLATFORM) ] ;

 SubDirC++Flags -fno-rtti ;