diff options
author | Jakob Kaivo <jkk@ung.org> | 2019-03-01 19:46:28 -0500 |
---|---|---|
committer | Jakob Kaivo <jkk@ung.org> | 2019-03-01 19:46:28 -0500 |
commit | 1ee4fe83d74978f44eb61b23dda9c258f4af82b1 (patch) | |
tree | 358c7a26e017457c44804fa10d0c7e82042cb569 /defs2d.awk | |
parent | df9ef3a48883d4a34eeabbfd5af42f289c1353c2 (diff) |
decide not to try autogenerating tests, it is too error prone
Diffstat (limited to 'defs2d.awk')
-rwxr-xr-x | defs2d.awk | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/defs2d.awk b/defs2d.awk deleted file mode 100755 index 23af3de..0000000 --- a/defs2d.awk +++ /dev/null @@ -1,16 +0,0 @@ -#!/usr/bin/awk -f - -/type/ { - printf("static %s a_%s;\n\n", $2, $2); -} - -/distinct/ { - printf("static int %s[] = {\n", $2); - for (i = 3; i <= NF; i++) { - #printf("#ifndef %s\n", $i); - #printf("#error %s not defined\n", $i); - #printf("#endif\n"); - printf("\t%s,\n", $i); - } - printf("};\n"); -} |