Fix 32-bit x86 target name

2022-09-05 10:51:13 -06:00
parent ad11b2adb2
commit c3e679d5f1
1 changed files with 1 additions and 1 deletions
@@ -396,7 +396,7 @@ pub fn with_whole_disk<P, F, T>(disk_path: P, bootloader_bios: &[u8], bootloader

    let bootloader_efi_name = match target.as_str() {
        "aarch64-unknown-redox" => "BOOTAA64.EFI",
-        "x86-unknown-redox" => "BOOTIA32.EFI",
+        "i686-unknown-redox" => "BOOTIA32.EFI",
        "x86_64-unknown-redox" => "BOOTX64.EFI",
        _ => {
            return Err(format_err!("target '{}' not supported", target));