You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

9 lines
223 B

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