Update the generator AWK script for opcodes.h so that it always generates
opcode numbers in the same order and is not dependent on the hash order of opcode names within AWK. FossilOrigin-Name: e730195f52429dc1bc4c1559880effd68e3eced9
D
drh committed
b24a2001ccc4820f3aac569e7f430393488125d0
Parent: 539a20f