From 0efd39e028256c303e31d3d2afca83f4a7e3ca2f Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 14 Oct 2004 11:52:13 +0000
Subject: [PATCH] - This script now only outputs summary to stdout.

---
 spdl/mp.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spdl/mp.sh b/spdl/mp.sh
index 00d2ed3..16f4d8f 100755
--- a/spdl/mp.sh
+++ b/spdl/mp.sh
@@ -6,4 +6,4 @@
 # limit number of runs to 5
 
 ulimit -v 100000
-cat $* | ../src/scyther -a -r3
+cat $* | ../src/scyther -a -r3 --summary