From c310dd7605afd9e167b0a5bd22048d953aa8dff1 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Thu, 29 Jan 2009 19:00:08 +0000
Subject: 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 --git a/scripts/patch-renumber.sh b/scripts/patch-renumber.sh
index f46c064..6837043 100755
--- a/scripts/patch-renumber.sh
+++ b/scripts/patch-renumber.sh
@@ -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 @@ esac
 
 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
-- 
cgit v0.10.2-6-g49f6