commit 753d11f2238663990191ba8285bfe9301f7e4020
author Richard Henderson <rth@twiddle.net> Fri Jun 24 11:58:37 2011 -0700
committer Richard Henderson <rth@twiddle.net> Sat Oct 08 08:46:03 2011 -0700
tree b566b335186b2430061a203731c1a6136e70da46
parent a9406ea127b0561cf95e5a4e8ce0c5e06c21e644

target-alpha: Add custom PALcode image for CLIPPER emulation.

Signed-off-by: Richard Henderson <rth@twiddle.net>

configure

diff --git a/configure b/configure
index 29cdd75..9b4fe34 100755
--- a/configure
+++ b/configure
@@ -3618,7 +3618,13 @@
 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