| Index: courgette/run_stress_test
|
| diff --git a/courgette/run_stress_test b/courgette/run_stress_test
|
| index 442ad3d1f9ee8706439514b6c3489c3f1758543c..dd1a78d88d22f61c9284a43ea648feb4c6fa5c4f 100755
|
| --- a/courgette/run_stress_test
|
| +++ b/courgette/run_stress_test
|
| @@ -6,9 +6,7 @@
|
|
|
| # Stress test and size measurement for courgette patches.
|
|
|
| -error() {
|
| - echo "error: ${@}" >&2
|
| -}
|
| +source "$(dirname ${0})/stress_test_common"
|
|
|
| outdir_prefix="stress_test_"
|
| time="/usr/bin/time"
|
| @@ -163,14 +161,6 @@ done 2>&1 | tee -a "${log}"
|
|
|
| date >> "${log}"
|
|
|
| -count_result() {
|
| - if [ ! -z "${1}" ]; then
|
| - echo $(cat "${log}" | grep "^${1} " | wc -l)
|
| - else
|
| - echo 0
|
| - fi
|
| -}
|
| -
|
| cat <<EOF | tee -a "${log}"
|
| $(count_result "PASS_COURGETTE") successful courgette patches
|
| $(count_result "FAIL_COURGETTE") failed courgette patches (search log for \
|
|
|