diff options
1 files changed, 4 insertions, 2 deletions
| -rw-r--r-- | awk-edits/Flags.awk | 6 |
diff --git a/awk-edits/Flags.awk b/awk-edits/Flags.awk index 3ee1d42..f40a3c9 100644 --- a/awk-edits/Flags.awk +++ b/awk-edits/Flags.awk @@ -20,14 +20,16 @@ BEGIN { flag[2] = "bg" flagTitle[2] = "BG" - for (i = 1; i <= length(flag); i++) { + flaglength = 2 # POSIX compatibility: length(flag) is not valid + + for (i = 1; i <= flaglength; i++) { flagExp[i] = "&&" flag[i] flagTag[i] = "<img src=\"/img/" flag[i] ".svg\" class=\"flag unzoomable svg\" alt=\"" flagTitle[i] "\" flagTitle=\"" flagTitle[i] "\">" } } /&&/ { - for (i = 1; i <= length(flagExp); i++) { + for (i = 1; i <= flaglength; i++) { gsub(flagExp[i], flagTag[i]) } } |