/* Returns the date and time this file (and firmware) was built. */
VOID GetReleaseTime(OUT EFI_TIME *Time)
/* Returns the date and time this file (and firmware) was built. */
VOID GetReleaseTime(OUT EFI_TIME *Time)
{
  CONST CHAR8  *ReleaseDate = __DATE__;
  CONST CHAR8  *ReleaseTime = __TIME__;
  UINTN        i;
  for (i = 0; i < 12; i++) {
    if (AsciiStrnCmp (ReleaseDate, mMonthDescription[i].MonthStr, 3) == 0) {
      break;
    }
  }
  Time->Month  = mMonthDescription[i].MonthInt;
  Time->Day    = AsciiStrDecimalToUintn (ReleaseDate + 4);
  Time->Year   = AsciiStrDecimalToUintn (ReleaseDate + 7);
  Time->Hour   = AsciiStrDecimalToUintn (ReleaseTime);
  Time->Minute = AsciiStrDecimalToUintn (ReleaseTime + 3);
  Time->Second = AsciiStrDecimalToUintn (ReleaseTime + 6);
}