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