1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index db11e51..837a84a 100755
--- a/configure
+++ b/configure
@@ -4239,6 +4239,7 @@ 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/*.aml \
     $source_path/pc-bios/*.rom \
     $source_path/pc-bios/*.dtb \
     $source_path/pc-bios/openbios-* \