diff options
Diffstat (limited to 'funtools/funtest/funtesti')
-rwxr-xr-x | funtools/funtest/funtesti | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/funtools/funtest/funtesti b/funtools/funtest/funtesti deleted file mode 100755 index e84c770..0000000 --- a/funtools/funtest/funtesti +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/tcsh -f -rm -f foo.idx foo.noidx - -# setenv FILTER_PTYPE c -setenv FILTER_IDX_DEBUG 0 - -setenv FILTER_IDX_ACTIVATE 1 -date >> foo.idx -funtests >>& foo.idx -date >> foo.idx - -setenv FILTER_IDX_ACTIVATE 0 -date > foo.noidx -funtests >>& foo.noidx -date >> foo.noidx - - - |