diff --git a/arm-trusted-firmware.spec b/arm-trusted-firmware.spec index 41ba24e..f162d5f 100644 --- a/arm-trusted-firmware.spec +++ b/arm-trusted-firmware.spec @@ -56,7 +56,7 @@ for soc in $(cat %{_arch}-bl31) do if [[ "$soc" == "rpi4" ]]; then - make HOSTCC="gcc $RPM_OPT_FLAGS" CROSS_COMPILE="" PLAT=$(echo $soc) RPI3_PRELOADED_DTB_BASE=0x1F0000 PRELOADED_BL33_BASE=0x20000 SUPPORT_VFP=1 SMC_PCI_SUPPORT=1 DEBUG=0 bl31 + make PLAT=$(echo $soc) RPI3_PRELOADED_DTB_BASE=0x1F0000 PRELOADED_BL33_BASE=0x20000 SUPPORT_VFP=1 SMC_PCI_SUPPORT=1 DEBUG=0 bl31 else # At the moment we're only making the secure firmware (bl31) make HOSTCC="gcc $RPM_OPT_FLAGS" CROSS_COMPILE="" PLAT=$(echo $soc) bl31