only check local benchmarks if /usr/local/benchmarks exists
[minix.git] / tools / chrootmake.sh
blob40d4b650e3a4d1dddd97c0c961ffe90b173f54b3
1 #!/bin/sh
2 set -e
3 export SHELL=/bin/sh
4 cd /usr/src
5 make etcfiles
6 su bin -c 'make world install'
7 cd tools
8 rm revision
9 rm /boot/image/*
10 make install
11 cp /boot/image/* /boot/image_big # Make big image accessible by this name
12 cp ../boot/boot /boot/boot
13 cd /usr/src
14 make clean
15 # Let man find the manpages
16 su bin -c 'makewhatis /usr/man'
17 su bin -c 'makewhatis /usr/local/man'
18 binsizes normal