aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure1
1 files changed, 1 insertions, 0 deletions
diff --git a/configure b/configure
index 066b4a064b..2895d09e0f 100755
--- a/configure
+++ b/configure
@@ -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