diff options
| author | Rafal Walczyna <r.walczyna@samsung.com> | 2020-05-22 14:37:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 14:37:59 +0200 |
| commit | 876622a06159e650a9a2eb784e1aa81acb2bd9fe (patch) | |
| tree | bfdc2110a7a28cb45b0019369c688e08cd27e6db /targets | |
| parent | 5d6069176b972d438d0c644cc5e4dc0b139120af (diff) | |
Fix vera++ rule to find expressions without space after parentheses (#3776)
Regex didn't include some characters that may occur after ')'
JerryScript-DCO-1.0-Signed-off-by: Rafal Walczyna r.walczyna@samsung.com
Diffstat (limited to 'targets')
| -rw-r--r-- | targets/mbedos5/source/jerry_port_mbed.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/targets/mbedos5/source/jerry_port_mbed.c b/targets/mbedos5/source/jerry_port_mbed.c index 35726471..687b0f89 100644 --- a/targets/mbedos5/source/jerry_port_mbed.c +++ b/targets/mbedos5/source/jerry_port_mbed.c @@ -79,7 +79,7 @@ jerry_port_get_current_time (void) * are within the mentioned 71 mins. Above that interval we can assume * that the milliseconds part of the time is negligibe. */ - if (curr_time - last_time > (time_t)(((uint32_t)-1) / 1000000)) { + if (curr_time - last_time > (time_t) (((uint32_t) - 1) / 1000000)) { skew = 0; } else if (last_tick > curr_tick) { skew = (skew + 33) % 1000; |