Testing byterun with CompCert and finding minor issues:

- int64_format.h: off-by-one error in skipping width modifier
- sys.c: pre-ANSI-C cruft removed (<errno.h> MUST define errno)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

byterun/int64_format.h

@@ -52,7 +52,7 @@ static void I64_format(char * buffer, char * fmt, int64 x)
     case '1': case '2': case '3': case '4': case '5':
     case '6': case '7': case '8': case '9':
       width = atoi(p);
-      while (*p >= '0' && *p <= '9') p++;
+      while (p[1] >= '0' && p[1] <= '9') p++;
       break;
     case 'd': case 'i':
       signedconv = 1; /* fallthrough */

byterun/sys.c

@@ -51,9 +51,11 @@
 #include "stacks.h"
 #include "sys.h"
 
+#if 0
 #ifndef _WIN32
 extern int errno;
 #endif
+#endif
 
 static char * error_message(void)
 {