+ dd bs=512 count=2880 if=/dev/zero of=$EFI_BOOT_MEDIA
+ mkfs.msdos -F 12 $EFI_BOOT_MEDIA
+
+ mcopy -i $EFI_BOOT_MEDIA $BUILD_DIR/FV/Efildr ::/Efildr
+ mmd -i $EFI_BOOT_MEDIA ::/efi ::/efi/boot
+ if [ "$5" = IA32 ]
+ then
+ mcopy -i $EFI_BOOT_MEDIA $WORKSPACE/ShellBinPkg/UefiShell/Ia32/Shell.efi ::/efi/boot/boot$5.efi
+ elif [ "$5" = X64 ]
+ then
+ mcopy -i $EFI_BOOT_MEDIA $WORKSPACE/ShellBinPkg/UefiShell/X64/Shell.efi ::/efi/boot/boot$5.efi
+ else
+ echo Wrong Arch!
+ fi
+ mdir -i $EFI_BOOT_MEDIA -s ::
+