#!/bin/sh r() { cat pages/$2-* > rebuilt/$1.s; } rebuild() { test -d rebuilt || mkdir rebuilt echo rebuilding... r u0 e00 r u1 e01 r u2 e02 r u3 e03 r u4 e04 r u5 e05 r u6 e06 r u7 e07 r u8 e08 r u9 e09 r ux e10 #r sh e11 #r ini e12 } p() { echo ' ' $1; patch -s -p1 <../patches/$1; } patches() { test -d build || mkdir build echo patching... cp rebuilt/* build cd build p vec0407.patch p fixV7div.patch if [ "$1" = "cold" ] ; then p cold.patch fi } rebuild patches "$@"