diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/firstversions.awk | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/scripts/firstversions.awk b/scripts/firstversions.awk index 4a20fc0f9d..ccde4b59b4 100644 --- a/scripts/firstversions.awk +++ b/scripts/firstversions.awk @@ -54,9 +54,13 @@ $1 == "}" { while (vers_compare($1, v) >= 0) { delete firstversion[thislib, idx[thislib]]; idx[thislib]++; - if ((thislib, idx[thislib]) in firstversion) + if ((thislib, idx[thislib]) in firstversion) { + # If we're skipping a referenced version to jump ahead to a + # later version, synthesize the earlier referenced version now. + if (v != $1 && (thislib, v) in usedversion) + print " " v; v = firstversion[thislib, idx[thislib]]; - else + } else break; } if ($1 == v || $1 == f) |