Searched refs:fmt_extension (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/PC/ipxe/contrib/rom-o-matic/
H A Dbuild.php78 $fmt_extension = isset ( $ofmts[$ofmt] ) ? $ofmts[$ofmt] : 'dsk'; variable
85 if ( $nic == 'undionly' && $fmt_extension == "pxe" ) {
92 $fmt_extension = "kpxe"; variable
94 } else if ( $fmt_extension == "rom" ) { variable
129 } else if ( $fmt_extension != "rom"
131 die ( "'$fmt_extension' format was selected but PCI IDs were"
181 $make_target = "bin/${nic}.${fmt_extension}";
242 $output_filename = "ipxe-${version}-${nic}.${fmt_extension}";

Completed in 36 milliseconds