diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4001,6 +4001,7 @@ for bios_file in \ $source_path/pc-bios/openbios-* \ $source_path/pc-bios/palcode-* do + [ -e "$bios_file" ] || continue FILES="$FILES pc-bios/`basename $bios_file`" done mkdir -p $DIRS |