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 */
20 static void D (const char *s, int e)
22 printf("%%s, %%s\\n", s, strerror(e));
25 int main (int argc, const char *argv[])
30 }""" % (';\n'.join(r
),)
32 if __name__
== '__main__':