2020-12-30 02:40:26 +11:00
|
|
|
#!/usr/bin/awk -f
|
|
|
|
|
|
|
|
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
|
|
|
}
|
|
|
|
|
|
|
|
{
|
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 !"
|
|
|
|
}
|