blob: 98f59a24ba938c170c0d64ae3c2cc728130b1975 [file] [log] [blame]
#!/bin/sh
config="$1"
make -C seabios clean distclean
cp "$config" seabios/.config
make -C seabios oldnoconfig