filters now have a name

2020-12-30 14:42:44 +01:00
parent 1693ad9051
commit a31e51a234
12 changed files with 178 additions and 96 deletions
--- a/Fonderie/craplist2h.awk
+++ b/Fonderie/craplist2h.awk
@@ -1,11 +1,13 @@
 #!/usr/bin/awk -f

 BEGIN	{
+	print "// -----------------------------------"
 	print "// generated file, do not edit by hand !"
+	print "// -----------------------------------"
 	}

 	{
-	printf "#define  CR_%s  %d\n", $2, $1
+	printf "#define    CR_%s    (%d)\n", $2, $1
 	}

 END	{