minix/commands/scripts/bigmake.sh

#!/bin/sh
binsizes big
make $*
c=$?
binsizes normal
exit $c
Preparing for minix sizer 2005-08-30 12:20:39 +02:00			`#!/bin/sh`
Bigmake minixsize -> binsizes rename 2005-09-08 11:29:47 +02:00			`binsizes big`
Preparing for minix sizer 2005-08-30 12:20:39 +02:00			`make $*`
			`c=$?`
Bigmake minixsize -> binsizes rename 2005-09-08 11:29:47 +02:00			`binsizes normal`
Preparing for minix sizer 2005-08-30 12:20:39 +02:00			`exit $c`