From 753d11f2238663990191ba8285bfe9301f7e4020 Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Fri, 24 Jun 2011 11:58:37 -0700 Subject: target-alpha: Add custom PALcode image for CLIPPER emulation. Signed-off-by: Richard Henderson --- configure | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 29cdd752a9..9b4fe34fce 100755 --- a/configure +++ b/configure @@ -3618,7 +3618,13 @@ FILES="$FILES tests/cris/Makefile tests/cris/.gdbinit" FILES="$FILES pc-bios/optionrom/Makefile pc-bios/keymaps" FILES="$FILES pc-bios/spapr-rtas/Makefile" FILES="$FILES roms/seabios/Makefile roms/vgabios/Makefile" -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 +for bios_file in \ + $source_path/pc-bios/*.bin \ + $source_path/pc-bios/*.rom \ + $source_path/pc-bios/*.dtb \ + $source_path/pc-bios/openbios-* \ + $source_path/pc-bios/palcode-* +do FILES="$FILES pc-bios/`basename $bios_file`" done mkdir -p $DIRS -- cgit v1.2.3-55-g7522