Skip to main content

Browse the archive

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 
Update version for 7.2.2 release
1 parent 2e0e234
Raw File
configure-seabios.sh 
#!/bin/sh
config="$1"
make -C seabios clean distclean
cp "$config" seabios/.config
make -C seabios oldnoconfig
back to top