Navigation Menu

Skip to content

Commit

Permalink
test function: use mark reporter for CI such as Travis
Browse files Browse the repository at this point in the history
  • Loading branch information
kou committed Aug 12, 2012
1 parent 1528d7b commit 89b6504
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions test/function/run-test.sh
Expand Up @@ -105,6 +105,9 @@ grntest_options=("$@")
if test "$use_gdb" != "true"; then
grntest_options=("--n-workers" "${n_processors}" "${grntest_options[@]}")
fi
if test "$CI" = "true"; then
grntest_options=("--reporter" "mark" "${grntest_options[@]}")
fi
if test "$have_targets" != "true"; then
grntest_options=("${grntest_options[@]}" "${BASE_DIR}/suite")
fi
Expand Down

0 comments on commit 89b6504

Please sign in to comment.