2018-12-04 00:07:23 -05:00
|
|
|
exec >&2
|
|
|
|
|
redo-ifchange whichmake
|
|
|
|
|
|
|
|
|
|
run() {
|
|
|
|
|
rm -f *.out
|
|
|
|
|
./whichmake y
|
|
|
|
|
|
|
|
|
|
rm -f *.out
|
|
|
|
|
./whichmake -j10 y
|
|
|
|
|
|
|
|
|
|
rm -f *.out
|
|
|
|
|
redo y
|
|
|
|
|
|
|
|
|
|
rm -f *.out
|
2018-12-31 17:43:03 -05:00
|
|
|
# Capture output to y.log because we know this intentionally generates
|
|
|
|
|
# a scary-looking redo warning (overriding the jobserver).
|
|
|
|
|
if ! redo -j10 y 2>y.log; then
|
|
|
|
|
cat y.log
|
|
|
|
|
exit 99
|
|
|
|
|
fi
|
2018-12-04 00:07:23 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
run
|
|
|
|
|
. ./wipe-redo.sh
|
|
|
|
|
run
|