# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1229364562 0
# Node ID e1a5096d432beb1a2021aa364260de1efb96cb5c
# Parent  035f231898ccfad81b7fb719d9cf89203986b46d
Move patch-renumber.sh from tools/ to scripts/

diff -r 035f231898cc -r e1a5096d432b scripts/patch-renumber.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/patch-renumber.sh	Mon Dec 15 18:09:22 2008 +0000
@@ -0,0 +1,32 @@
+#!/bin/sh
+# Yes, this intends to be a true POSIX script file.
+
+myname="$0"
+
+doUsage() {
+  cat <<_EOF_
+Usage: ${myname} <dir> <base> <inc>
+    Will renumber all patches found in <dir>, starting at <base>, and with
+    an increment of <inc>
+    Eg.: patch-renumber patches/gcc/4.3.1 100 10
+_EOF_
+}
+
+[ $# -eq 3 ] || { doUsage; exit 1; }
+[ -d "${1}" ] || { doUsage; exit 1; }
+
+dir="${1}"
+cpt="${2}"
+inc="${3}"
+
+case $(LC_ALL=C svnversion 2>/dev/null) in
+    exported)   CMD="mv -v";;
+    *)          CMD="svn mv";;
+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}-//')"
+    [ "${p}" = "${dir}/${newname}" ] || ${CMD} "${p}" "${dir}/${newname}"
+    cpt=$((cpt+inc))
+done
diff -r 035f231898cc -r e1a5096d432b tools/patch-renumber.sh
--- a/tools/patch-renumber.sh	Thu Dec 11 18:21:18 2008 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-#!/bin/sh
-# Yes, this intends to be a true POSIX script file.
-
-myname="$0"
-
-doUsage() {
-  cat <<_EOF_
-Usage: ${myname} <dir> <base> <inc>
-    Will renumber all patches found in <dir>, starting at <base>, and with
-    an increment of <inc>
-    Eg.: patch-renumber patches/gcc/4.3.1 100 10
-_EOF_
-}
-
-[ $# -eq 3 ] || { doUsage; exit 1; }
-[ -d "${1}" ] || { doUsage; exit 1; }
-
-dir="${1}"
-cpt="${2}"
-inc="${3}"
-
-case $(LC_ALL=C svnversion 2>/dev/null) in
-    exported)   CMD="mv -v";;
-    *)          CMD="svn mv";;
-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}-//')"
-    [ "${p}" = "${dir}/${newname}" ] || ${CMD} "${p}" "${dir}/${newname}"
-    cpt=$((cpt+inc))
-done