diff -r e1a5096d432b -r 8508ec77df4c scripts/patch-renumber.sh --- a/scripts/patch-renumber.sh Mon Dec 15 18:09:22 2008 +0000 +++ b/scripts/patch-renumber.sh Thu Jan 29 22:09:55 2009 +0000 @@ -1,8 +1,12 @@ #!/bin/sh # Yes, this intends to be a true POSIX script file. +set -e myname="$0" +# Parse the tools' paths configuration +. "paths.mk" + doUsage() { cat <<_EOF_ Usage: ${myname}