4 /* Extract the mapping of Win32 error codes to errno */
9 printf("/* Generated file. Do not edit. */\n");
10 printf("int winerror_to_errno(int winerror)\n");
11 printf("{\n\tswitch(winerror) {\n");
12 for(i
=1; i
< 65000; i
++) {
16 printf("\t\tcase %d: return %d;\n", i
, errno
);
18 printf("\t\tdefault: return EINVAL;\n");