1b1c0d031SGerd Hoffmann#!/bin/sh 2b1c0d031SGerd Hoffmannconfig="$1" 3b1c0d031SGerd Hoffmannmake -C seabios clean distclean 4b1c0d031SGerd Hoffmanncp "$config" seabios/.config 5*19cd090eSGerd Hoffmannmake -C seabios oldnoconfig 6