diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-01-29 19:00:08 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-01-29 19:00:08 (GMT) |
| commit | c310dd7605afd9e167b0a5bd22048d953aa8dff1 (patch) | |
| tree | 80effc16d19085f1b1730abdb369386b20488038 /scripts/patch-renumber.sh | |
| parent | 1b05494c839ec135c6f69d3baa00afea4de33111 (diff) | |
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(-)
Diffstat (limited to 'scripts/patch-renumber.sh')
| -rwxr-xr-x | scripts/patch-renumber.sh | 6 |
1 files changed, 5 insertions, 1 deletions
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 |