diff options
-rwxr-xr-x | projects/seabios/seabios | 3 |
1 files changed, 1 insertions, 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" |