Revision 5ee8ad71 configure
| b/configure | ||
|---|---|---|
| 3445 | 3445 |
FILES="$FILES tests/cris/Makefile tests/cris/.gdbinit" |
| 3446 | 3446 |
FILES="$FILES pc-bios/optionrom/Makefile pc-bios/keymaps" |
| 3447 | 3447 |
FILES="$FILES roms/seabios/Makefile roms/vgabios/Makefile" |
| 3448 |
for bios_file in $source_path/pc-bios/*.bin $source_path/pc-bios/*.dtb $source_path/pc-bios/openbios-*; do |
|
| 3448 |
for bios_file in $source_path/pc-bios/*.bin $source_path/pc-bios/*.rom $source_path/pc-bios/*.dtb $source_path/pc-bios/openbios-*; do
|
|
| 3449 | 3449 |
FILES="$FILES pc-bios/`basename $bios_file`" |
| 3450 | 3450 |
done |
| 3451 | 3451 |
mkdir -p $DIRS |
Also available in: Unified diff