From 04451caf0793cd0505833609a7f90de892f0d076 Mon Sep 17 00:00:00 2001
From: Andrew Robbins <contact@andrewrobbins.info>
Date: Sat, 24 Nov 2018 21:48:29 -0500
Subject: Place built SeaBIOS files in its build directory

---
 projects/seabios/seabios | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'projects')

diff --git a/projects/seabios/seabios b/projects/seabios/seabios
index 0ff7b313..8cb4fd29 100755
--- a/projects/seabios/seabios
+++ b/projects/seabios/seabios
@@ -74,8 +74,7 @@ build() {
 	mkdir -p "$build_path"
 	cp "$seabios_config_path" "$sources_path/.config"
 
-	make -C "$sources_path" -j"$TASKS"
-	cp "$sources_path/out"/{bios.bin.elf,vgabios.bin} "$build_path"
+	make -C "$sources_path" OUT="$build_path/" -j"$TASKS"
 	make -C "$sources_path" distclean
 
 	rm -f "$sources_path/.config"
-- 
cgit v1.2.3-70-g09d2