diff options
author | John Doe <john.doe@example.com> | 2022-03-11 18:16:16 -0500 |
---|---|---|
committer | John Doe <john.doe@example.com> | 2022-03-11 19:52:47 -0500 |
commit | 676eb110c7f7da982ed6d3fe780d08117fb2e867 (patch) | |
tree | fdf52dbabdfc360f923a0a4615a1cef01cba28ed /resources/scripts | |
parent | 33a43ffc0789c0e7f400d5868555355066fc9cb1 (diff) |
Perform the silentoldconfig step of seabios before full make
I was running into a race condition when rebuilding seabios with a high cpu count,
resulting in failure with this error message:
cc1: fatal error: can't open 'out/src/asm-offsets.s' for writing: No such file or directory
Performing the silentoldconfig step before the full make step seems to resolve the failure.
Diffstat (limited to 'resources/scripts')
-rwxr-xr-x | resources/scripts/build/payload/seabios | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/resources/scripts/build/payload/seabios b/resources/scripts/build/payload/seabios index 3caaf6d0..9120bfff 100755 --- a/resources/scripts/build/payload/seabios +++ b/resources/scripts/build/payload/seabios @@ -40,6 +40,7 @@ cd seabios/ # for libgfxinit setup: [[ -f Makefile ]] && make distclean cp ../resources/seabios/config/libgfxinit .config +make silentoldconfig -j$(nproc) make -j$(nproc) mv out/bios.bin.elf ../payload/seabios/seabios_libgfxinit.elf mv out/vgabios.bin ../payload/seabios/seavgabios.bin @@ -48,6 +49,7 @@ rm .config # for vgarom setup: [[ -f Makefile ]] && make distclean cp ../resources/seabios/config/vgarom .config +make silentoldconfig -j$(nproc) make -j$(nproc) mv out/bios.bin.elf ../payload/seabios/seabios_vgarom.elf rm .config |