1 #! /usr/bin/env python2.7
8 line
= sys
.stdin
.readline()
11 s
= line
.split()[0][:-1]
12 r
.append("\tD(\"%s\", %s)" % (s
, s
))
14 print """/* this file was generated automatically */
19 static void D (const char *s, int e)
21 printf("%%s, %%s\\n", s, strerror(e));
24 int main (int argc, const char *argv[])
29 }""" % (';\n'.join(r
),)
31 if __name__
== '__main__':