From a86e44dac6a58feccb998e18ac1bcd5168eddffd Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 28 Jul 2004 13:40:09 +0000 Subject: [PATCH] Modifications for Elegast cluster. --- src/scytherreport | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 src/scytherreport diff --git a/src/scytherreport b/src/scytherreport deleted file mode 100755 index be13369..0000000 --- a/src/scytherreport +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh - -./scyther $* >>output.txt - -case $? in - 0) echo "./scyther $* : Noattack" >>done.txt;; - 1) echo "./scyther $* : ERROR" >>done.txt;; - 2) echo "./scyther $* : Noattack (no claims)" >>done.txt;; - 3) echo "./scyther $* : ATTACK" >>done.txt;; -esac