diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2023-10-29 22:39:48 +0100 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2023-10-29 22:39:48 +0100 |
| commit | 9cad508b5c98ca1029460807249cafb712f28f1e (patch) | |
| tree | 2ad62d1ca57b7dc691550865cb7fb0b55c26da34 /scripts/getcls.awk | |
| parent | c88b4c2d0842dfbb32fa744dde781601b9e4e7cf (diff) | |
Migrate the site to GSP and a Makefile
Diffstat (limited to 'scripts/getcls.awk')
| -rw-r--r-- | scripts/getcls.awk | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/scripts/getcls.awk b/scripts/getcls.awk index a37f927..f53dc14 100644 --- a/scripts/getcls.awk +++ b/scripts/getcls.awk @@ -1,18 +1,21 @@ function getcls(c) { - if (c == "-") + switch (c) { + case "-": return "missing" - if (c == "X") + case "X": return "have" - if (c == "*") + case "*": return "nifc" - if (c == "O") + case "O": return "have-nifc" - if (c == "@") + case "@": return "have-proof" - if (c == "?") + case "?": return "unknown" - if (c == "/") + case "/": return "not-minted" - return "error" + default: + return "error" + } } |