smarter make_patchnum.sh, get the .patchnum from the .patch file if it exists
authorYves Orton <demerphq@dromedary.booking.com>
Sun, 21 Dec 2008 17:49:27 +0000 (18:49 +0100)
committerDavid Mitchell <davem@iabyn.com>
Thu, 26 Feb 2009 01:52:59 +0000 (01:52 +0000)
commitdab47bcb6307665f5cd1557cfb7c4b9b48e77e13
tree0c58dffc704dcdc5c8560b727027d9ebfaee34aa
parent2abc61df62647426d6caaa09beae88c85a92a6ca
smarter make_patchnum.sh, get the .patchnum from the .patch file if it exists

(cherry picked from commit ba4bb01ebc0497918a1b1428e4135e7b0e9c40b6)
make_patchnum.sh