diff options
| author | Andrew Robbins <contact@andrewrobbins.info> | 2018-11-24 21:48:29 -0500 |
|---|---|---|
| committer | Andrew Robbins <contact@andrewrobbins.info> | 2018-11-24 21:48:29 -0500 |
| commit | 04451caf0793cd0505833609a7f90de892f0d076 (patch) | |
| tree | 25522d038989cea2c20b52aba1482fb69a7536d6 | |
| parent | cf68bd0b2a8f96822f1c0913b962df640f5b9563 (diff) | |
| download | librebootfr-04451caf0793cd0505833609a7f90de892f0d076.tar.gz librebootfr-04451caf0793cd0505833609a7f90de892f0d076.zip | |
Place built SeaBIOS files in its build directory
| -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" |