Skip to content
Snippets Groups Projects
Commit 7c43bf76 authored by Maxim Menshikov's avatar Maxim Menshikov
Browse files

Enable colored output for Inteiro and Clang-Tidy

parent 608e2459
No related branches found
No related tags found
No related merge requests found
...@@ -26,9 +26,9 @@ run_static_code_analysis: ...@@ -26,9 +26,9 @@ run_static_code_analysis:
- echo "/usr/local/pmd/bin/run.sh cpd ${CPD_OPTIONS}" - echo "/usr/local/pmd/bin/run.sh cpd ${CPD_OPTIONS}"
- "/usr/local/pmd/bin/run.sh cpd ${CPD_OPTIONS} ${SOURCE_FOLDER}" - "/usr/local/pmd/bin/run.sh cpd ${CPD_OPTIONS} ${SOURCE_FOLDER}"
- echo "Running Inteiro" - echo "Running Inteiro"
- "/usr/local/inteiro/bin/inteiro ${INTEIRO_OPTIONS}" - "env TERM=xterm-256color /usr/local/inteiro/bin/inteiro ${INTEIRO_OPTIONS}"
- echo "Running clang-tidy" - echo "Running clang-tidy"
- "${CLANG_TIDY_OPTIONS:+clang-tidy ${CLANG_TIDY_OPTIONS}}" - "env TERM=xterm-256color ${CLANG_TIDY_OPTIONS:+clang-tidy ${CLANG_TIDY_OPTIONS}}"
- echo "Running Frama-C" - echo "Running Frama-C"
- "${FRAMA_C_OPTIONS:+frama-c ${FRAMA_C_OPTIONS}}" - "${FRAMA_C_OPTIONS:+frama-c ${FRAMA_C_OPTIONS}}"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment