make pidiff: Fehlerbehebung (bessere gawk-Kompatibilitaet).
commit189cfc474db3520f5b240f4bbf336e416742f837
authorStephan Hennig <sh2d@posteo.net>
Sat, 18 Apr 2015 18:00:01 +0000 (18 20:00 +0200)
committerStephan Hennig <sh2d@posteo.net>
Sat, 18 Apr 2015 11:23:12 +0000 (18 13:23 +0200)
treef0c0e0d606063af6c15e9a3ce8f37cc34e7de99e
parent559e51a87f9de60e0ad927ba4aa046b12b162e23
make pidiff: Fehlerbehebung (bessere gawk-Kompatibilitaet).

AKW-Befehlsworte als Variablennamen sind in einigen
AWK-Implementationen nicht zulaessig (z. B. gawk 4.x.x).
Vermeide daher den Variablennamen 'case'.

Siehe Diskussion "[Trennmuster] naechste Version (TL 2015)" vom
15.4.2015 auf der Trennmuster-Liste, <URL:https://lists.dante.de/pipermail/trennmuster/2015-April/002415.html>
skripte/patgen-list-diff.awk