2020-12-29 16:40:26 +01:00
|
|
|
#!/usr/bin/awk -f
|
|
|
|
|
2021-01-03 17:56:41 +01:00
|
|
|
#
|
|
|
|
# this utility script make a file who
|
|
|
|
# is includet by 'crapulator.h'
|
|
|
|
#
|
|
|
|
|
2020-12-29 16:40:26 +01:00
|
|
|
BEGIN {
|
2020-12-30 14:42:44 +01:00
|
|
|
print "// -----------------------------------"
|
2020-12-29 16:40:26 +01:00
|
|
|
print "// generated file, do not edit by hand !"
|
2020-12-30 14:42:44 +01:00
|
|
|
print "// -----------------------------------"
|
2020-12-29 16:40:26 +01:00
|
|
|
}
|
|
|
|
|
2021-05-11 10:36:55 +02:00
|
|
|
# $1 is the badly brain-designed numeric id
|
|
|
|
# $2 is the user name of the filter
|
|
|
|
|
2020-12-29 16:40:26 +01:00
|
|
|
{
|
2020-12-30 14:42:44 +01:00
|
|
|
printf "#define CR_%s (%d)\n", $2, $1
|
2020-12-29 16:40:26 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
END {
|
|
|
|
print "// generated file, do not edit by hand !"
|
|
|
|
}
|