1#!/bin/sh 2config="$1" 3make -C seabios clean distclean 4cp "$config" seabios/.config 5make -C seabios olddefconfig 6