blob: 98f59a24ba938c170c0d64ae3c2cc728130b1975 [file] [log] [blame]
Gerd Hoffmannb1c0d032012-02-09 10:40:31 +01001#!/bin/sh
2config="$1"
3make -C seabios clean distclean
4cp "$config" seabios/.config
Gerd Hoffmann19cd0902013-05-28 12:09:41 +02005make -C seabios oldnoconfig