Looks like I forgot to delete my u-boot directory when I first tested this. What appears to be happening is that on the first run there is no u-boot directory so this part of the Common.mk:
verify_case_sensitivity: verify_case_sensitivity_$(UBOOT_OUT) verify_case_sensitivity_$(OPTEE_OUT)
CASE_DIR=$(subst verify_case_sensitivity_,,$@)
CASE_DIR_WIN=$(shell wslpath -m $(CASE_DIR))
Ends up leaving CASE_DIR_WIN empty so when the build gets around to this:
echo Directory does not have case sensitivity enabled. Attempting to enable it.
cd $(CASE_DIR) > /dev/null
if test "`$(IS_ADMIN_CMD) "Access is denied"`"
then
echo WSL not running as Administrator, launching an escalated PowerShell session to set case sensitivity!
powershell.exe "Start-Process powershell -ArgumentList 'cd $(CASE_DIR_WIN);fsutil.exe file setCaseSensitiveInfo . enable;' -Verb RunAs"
else
echo Setting case sensitivity enabled on $(CASE_DIR)
fsutil.exe file setCaseSensitiveInfo . enable
fi
PowerShell can't enter the directory and set the case sensitivity - If you break the make right after this and run it again then it sets the case sensitivity correctly. If you wait until the build fails then I think you already have directories that are case insensitive so you break the SPL part.
Both this and the uppercase/lowercase Microsoft need to be fixed.
Thanks,
TonyG