src/basic/errno-to-name.awk


1
2
3
4
5
6
7
8
9

BEGIN{
        print "static const char* const errno_names[] = { "
}
!/EDEADLOCK/ && !/EWOULDBLOCK/ && !/ENOTSUP/ {
        printf "        [%s] = \"%s\",\n", $1, $1
}
END{
        print "};"
}