CorebootPayloadPkg: Rename CorebootPayloadPkgX64.dsc X64 -> Ia32X64
[mirror_edk2.git] / CorebootPayloadPkg / BuildAndIntegrationInstructions.txt
index b9a83a9..6cc3d95 100644 (file)
@@ -43,10 +43,10 @@ B. HOW TO BUILD
    build -a IA32 -p CorebootPayloadPkg\CorebootPayloadPkgIa32.dsc -b RELEASE -t <ToolChain>\r
    \r
    For debug X64 build:\r
-   build -a IA32 -a X64 -p CorebootPayloadPkg\CorebootPayloadPkgX64.dsc -b DEBUG -t <ToolChain>\r
+   build -a IA32 -a X64 -p CorebootPayloadPkg\CorebootPayloadPkgIa32X64.dsc -b DEBUG -t <ToolChain>\r
    \r
    For release X64 build:\r
-   build -a IA32 -a X64 -p CorebootPayloadPkg\CorebootPayloadPkgX64.dsc -b RELEASE -t <ToolChain>\r
+   build -a IA32 -a X64 -p CorebootPayloadPkg\CorebootPayloadPkgIa32X64.dsc -b RELEASE -t <ToolChain>\r
    \r
    <ToolChain> is the EDK II build environment on your host. Currently it was tested with VS2008x64 toolchain.\r
 \r