Revision 161e1f22b8a288f88efa40590faab1bc4c2d86a9 authored by Michael Tokarev on 23 April 2023, 10:06:20 UTC, committed by Michael Tokarev on 23 April 2023, 10:06:20 UTC
1 parent 2e0e234
configure-seabios.sh
#!/bin/sh
config="$1"
make -C seabios clean distclean
cp "$config" seabios/.config
make -C seabios oldnoconfig
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...