1
0
mirror of https://github.com/sqlite/sqlite.git synced 2025-12-24 14:17:58 +03:00

Bug fix in the recent changes to mkopcodeh.awk.

FossilOrigin-Name: 6610cac435428434bc978d5e4df92aa1e431240b
This commit is contained in:
drh
2009-11-02 18:44:58 +00:00
parent b24a2001cc
commit ccaf7731d7
3 changed files with 12 additions and 10 deletions

View File

@@ -84,7 +84,9 @@ END {
print "/* Automatically generated. Do not edit */"
print "/* See the mkopcodeh.awk script for details */"
op["OP_Noop"] = -1;
order[n_op++] = "OP_Noop";
op["OP_Explain"] = -1;
order[n_op++] = "OP_Explain";
for(i=0; i<n_op; i++){
name = order[i];
if( op[name]<0 ){