# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1233255608 0
# Node ID 417b32da90bf169c78ab173581a3ac50da4a7167
# Parent  7710d81d15e7c32de997dcbe261052fe021ee181
Use the path discovered by ./configure in scripts/patch-renumber.sh
It now requires that "./configure && make" be run beforehand.

 /trunk/scripts/patch-renumber.sh |    6     5     1     0 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff -r 7710d81d15e7 -r 417b32da90bf scripts/patch-renumber.sh
--- a/scripts/patch-renumber.sh	Thu Jan 29 18:53:32 2009 +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