Bump reference platform to Ubuntu 18.04 LTS (#3037)

Ubuntu 14.04 reached its end of life on April 30m 2019.
Let's bump the reference to the latest LTS, which is 18.04.

Ubuntu 18.04 has newer Pylint and Cppcheck, the necessary
fixes and suppresses are also included in this PR.

JerryScript-DCO-1.0-Signed-off-by: Csaba Osztrogonác oszi@inf.u-szeged.hu
This commit is contained in:
Csaba Osztrogonác
2020-03-30 12:26:56 +02:00
committed by GitHub
parent c237ba6097
commit 1bd1a36a81
25 changed files with 62 additions and 38 deletions
+1
View File
@@ -40,6 +40,7 @@ cppcheck -j$CPPCHECK_JOBS --force \
--enable=warning,style,performance,portability,information \
--template="{file}:{line}: {severity}({id}): {message}" \
--error-exitcode=1 \
--inline-suppr \
--exitcode-suppressions=tools/cppcheck/suppressions-list \
--suppressions-list=tools/cppcheck/suppressions-list \
"${INCLUDE_DIRS[@]}" \