diff -r e1a5096d432b -r 417b32da90bf 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 19:00:08 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} <dir> <base> <inc>
@@ -26,7 +30,7 @@
 
 for p in "${dir}"/*.patch; do
     [ -e "${p}" ] || { echo "No such file '${p}'"; exit 1; }
-    newname="$(printf "%03d" ${cpt})-$(basename "${p}" |sed -r -e 's/^[[:digit:]]{3}-//')"
+    newname="$(printf "%03d" ${cpt})-$(basename "${p}" |"${sed}" -r -e 's/^[[:digit:]]{3}-//')"
     [ "${p}" = "${dir}/${newname}" ] || ${CMD} "${p}" "${dir}/${newname}"
     cpt=$((cpt+inc))
 done