scripts/patch-renumber.sh
changeset 1175 417b32da90bf
parent 1099 e1a5096d432b
child 1192 bc411ace3c8f
     1.1 --- a/scripts/patch-renumber.sh	Mon Dec 15 18:09:22 2008 +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