Hello.
 
I've been trying to build UEFI-SCT following these instructions https://github.com/tianocore/edk2-test/blob/master/uefi-sct/HowToBuild/How%20to%20build%20SCT%20in%20UDK2017.txt on linux Debian 10, using the latest edk2 available, also tried to build over vudk2017 https://github.com/tianocore/edk2/releases/tag/vUDK2017, but it stops in this kind of error:
___________________________________________________________________________________________________________________________
/home/repos/TestToolls/SctWorkspace2/SctPkg/TestCase/RIVL/Protocol/InternetProtocol4/Ip4/Ip4ENTSTest.c: In function ‘Ip4ENTSTestMain’:
/home/repos/TestToolls/SctWorkspace2/SctPkg/TestCase/RIVL/Protocol/InternetProtocol4/Ip4/Ip4ENTSTest.c:119:23: warning: assignment to ‘EFI_IMAGE_UNLOAD’ from incompatible pointer type ‘EFI_STATUS (*)(void *)’ {aka ‘long long unsigned int (*)(void *)’} [-Wincompatible-pointer-types]
   LoadedImage->Unload = Ip4ENTSTestUnload;
                       ^
make: *** [GNUmakefile:337: /home/repos/TestToolls/SctWorkspace2/Build/UefiSct/DEBUG_GCC5/X64/SctPkg/TestCase/RIVL/Protocol/InternetProtocol4/Ip4/Ip4ENTSTest/OUTPUT/Ip4ENTSTest.obj] Error 1
Could not build the UEFI SCT package
___________________________________________________________________________________________________________________________
 
Is there any currently known impediment to build UEFI-SCT in the linux environment or some other important details I'm missing? I appreciate any help.