#!/bin/sh

if [ $# != 1 ]; then echo usage: $0 make; exit 1; fi

make=$1

rm -rf O
mkdir O
../mkpvtab >O/primv.tab
cp Good/*.sca O
$make bootloader
$make boot
$make
$make loader
