chiark / gitweb /
addcases is broken, remove it.
authorian <ian>
Sun, 11 Apr 1999 19:41:44 +0000 (19:41 +0000)
committerian <ian>
Sun, 11 Apr 1999 19:41:44 +0000 (19:41 +0000)
regress/addcases [deleted file]

diff --git a/regress/addcases b/regress/addcases
deleted file mode 100755 (executable)
index 388c49d..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-# usage: ./addcases <casename> ...
-
-set -e
-
-for f in "$@"
-do
-       cvs add "case-$f".{sys,stdout,stderr}
-done