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 \ |