Replace // double slash comments with /* */. (#1461)

JerryScript-DCO-1.0-Signed-off-by: Robert Sipka rsipka.uszeged@partner.samsung.com
2016-11-29 15:54:35 +01:00
parent 4d2c22a118
commit fb3e8cf8b8
54 changed files with 362 additions and 366 deletions
@@ -525,7 +525,7 @@ vfprintf (FILE *stream, /**< stream pointer */
        assert (false && "unsupported width field *");
      }

-      // If there is a number, recognize it as field width
+      /* If there is a number, recognize it as field width. */
      while (*format_iter_p >= '0' && *format_iter_p <= '9')
      {
        width = width * 10u + (uint32_t) (*format_iter_p - '0');