From 04451caf0793cd0505833609a7f90de892f0d076 Mon Sep 17 00:00:00 2001 From: Andrew Robbins 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(-) 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