mirror of
https://github.com/DoctorWkt/unix-jun72.git
synced 2026-01-13 15:27:49 +00:00
42 lines
558 B
Bash
Executable File
42 lines
558 B
Bash
Executable File
#!/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.patch; }
|
|
|
|
patches() {
|
|
test -d build || mkdir build
|
|
|
|
echo patching...
|
|
cp rebuilt/* build
|
|
cd build
|
|
p vec0407
|
|
p fixV7div
|
|
for x in "$@" ; do
|
|
p $x
|
|
done
|
|
}
|
|
|
|
|
|
rebuild
|
|
patches "$@"
|