fix formatting in rc/libruntime/target/linux/jerry-libc.c

Makefile.mk

@@ -365,7 +365,7 @@ $(JERRY_TARGETS):
 	@rm -rf $(TARGET_DIR)
 	@cppcheck $(DEFINES_JERRY) $(SOURCES_JERRY_C) $(INCLUDES_JERRY) $(INCLUDES_THIRDPARTY) \
           --error-exitcode=1 --std=c99 --enable=all --suppress=missingIncludeSystem --suppress=unusedFunction 1>/dev/null
-	@vera++ -r ./tools/vera++ -p jerry $(SOURCES_JERRY_C) $(SOURCES_JERRY_H) -e 
+	@vera++ -r ./tools/vera++ -p jerry $(SOURCES_JERRY_C) $(SOURCES_JERRY_H) -e --summary 1>/dev/null
 	@mkdir -p $(TARGET_DIR)
 	@mkdir -p $(TARGET_DIR)/obj
 	@source_index=0; \

src/libruntime/target/linux/jerry-libc.c

@@ -50,7 +50,8 @@ FIXME( Rename __unused )
 
 static long int syscall_1 (long int syscall_no, long int arg1);
 static long int syscall_2 (long int syscall_no, long int arg1, long int arg2);
-static long int syscall_3( long int syscall_no, long int arg1, long int arg2, long int arg3);
+static long int syscall_3 (long int syscall_no, long int arg1,
+                           long int arg2, long int arg3);
 
 /**
  * System call with one argument.
@@ -109,7 +110,9 @@ syscall_3( long int syscall_no, /**< syscall number */
   return ret;
 } /* syscall_3 */
 
-/** Output of character. Writes the character c, cast to an unsigned char, to stdout.  */
+/**
+ * Output of character. Writes the character c, cast to an unsigned char,
+ * to stdout.  */
 int
 __putchar (int c)
 {
@@ -296,7 +299,10 @@ __fread(void *ptr, /**< address of buffer to read to */
 
   do
     {
-      ret = syscall_3( __NR_read, (long int)stream, (long int) ((uint8_t*)ptr + bytes_read), (long int) (size * nmemb - bytes_read));
+      ret = syscall_3 (
+              __NR_read,
+              (long int)stream, (long int) ((uint8_t*)ptr + bytes_read),
+              (long int) (size * nmemb - bytes_read));
 
       bytes_read += (size_t)ret;
     } while (bytes_read != size * nmemb && ret != 0);
@@ -319,7 +325,10 @@ __fwrite(const void *ptr, /**< data to write */
 
   do
     {
-      long int ret = syscall_3( __NR_write, (long int)stream, (long int) ((uint8_t*)ptr + bytes_written), (long int) (size * nmemb - bytes_written));
+      long int ret = syscall_3 (
+            __NR_write, (long int)stream,
+            (long int) ((uint8_t*)ptr + bytes_written),
+            (long int) (size * nmemb - bytes_written));
 
       bytes_written += (size_t)ret;
     } while (bytes_written != size * nmemb);
@@ -336,7 +345,9 @@ const _FILE **libc_stdin = (void*)&stdin;
 const _FILE **libc_stdout = (void*)&stdout;
 const _FILE **libc_stderr = (void*)&stderr;
 
-/** Output of character. Writes the character c, cast to an unsigned char, to stdout.  */
+/**
+ * Output of character. Writes the character c, cast to an unsigned char,
+ * to stdout.  */
 int
 __putchar (int c)
 {