Merge branch 'master' of git-server:jerry

2014-07-25 13:18:44 +04:00
parent 8094de86d1 c9c26251a4
commit 1d42426fa4
8 changed files with 168 additions and 23 deletions
@@ -35,7 +35,7 @@ jerry_run( const char *script_source,
           size_t script_source_size __unused)
 {
  const char *strings[MAX_STRINGS];
-  int nums[MAX_NUMS];
+  int32_t nums[MAX_NUMS];
  uint8_t strings_num, nums_count;
  uint8_t offset;
  const OPCODE *opcodes;