Use the path discovered by ./configure in scripts/patch-renumber.sh
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Jan 29 19:00:08 2009 +0000 (2009-01-29)
changeset 1175417b32da90bf
parent 1174 7710d81d15e7
child 1176 8508ec77df4c
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(-)
scripts/patch-renumber.sh
     1.1 --- a/scripts/patch-renumber.sh	Thu Jan 29 18:53:32 2009 +0000
     1.2 +++ b/scripts/patch-renumber.sh	Thu Jan 29 19:00:08 2009 +0000
     1.3 @@ -1,8 +1,12 @@
     1.4  #!/bin/sh
     1.5  # Yes, this intends to be a true POSIX script file.
     1.6 +set -e
     1.7  
     1.8  myname="$0"
     1.9  
    1.10 +# Parse the tools' paths configuration
    1.11 +. "paths.mk"
    1.12 +
    1.13  doUsage() {
    1.14    cat <<_EOF_
    1.15  Usage: ${myname} <dir> <base> <inc>
    1.16 @@ -26,7 +30,7 @@
    1.17  
    1.18  for p in "${dir}"/*.patch; do
    1.19      [ -e "${p}" ] || { echo "No such file '${p}'"; exit 1; }
    1.20 -    newname="$(printf "%03d" ${cpt})-$(basename "${p}" |sed -r -e 's/^[[:digit:]]{3}-//')"
    1.21 +    newname="$(printf "%03d" ${cpt})-$(basename "${p}" |"${sed}" -r -e 's/^[[:digit:]]{3}-//')"
    1.22      [ "${p}" = "${dir}/${newname}" ] || ${CMD} "${p}" "${dir}/${newname}"
    1.23      cpt=$((cpt+inc))
    1.24  done