if [ "$1,$2" != "_all,_all" ]; then
echo "ERROR: old-style redo args detected: don't use --old-args." >&2
exit 1
fi
# Do this first, to ensure we're using a good shell
redo-ifchange redo/sh
redo-ifchange bin/all docs/all