ref: fadbab49dc34508f835d31aaaa86135e51b3154e
dir: /fix.awk/
#!/home/grobe0ba/opt/x86_64/bin/awk -f
/^export (fn|@noreturn) (.*)\(/ {
if ($3 == "fn") {
split($4, line, "(")
} else {
split($3, line, "(")
}
fname=line[1]
print "@symbol(\"pthread_" fname "\") " $0
next
}
{ print }