]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove a script that nobody seems to recall what exactly it does.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Thu, 27 Sep 2012 16:52:07 +0000 (16:52 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Thu, 27 Sep 2012 16:52:07 +0000 (16:52 +0000)
git-svn-id: https://svn.dealii.org/trunk@26786 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/diffsearch [deleted file]

diff --git a/deal.II/common/scripts/diffsearch b/deal.II/common/scripts/diffsearch
deleted file mode 100755 (executable)
index 4b1c53a..0000000
+++ /dev/null
@@ -1,81 +0,0 @@
-#!/bin/bash
-# $Id$
-
-######################################################################
-#
-# Compare the file $1/output with files in $1/cmp 
-#
-# Upon success, store the name of the successful file in $1/cmp
-# in the file $1/OK
-#
-#
-# This is a possible replacement of the hardcoded hierarchies in the
-# tests directory.
-######################################################################
-
-# Process command line arguments.
-# $1 is the name of the test.
-#
-# options may be
-#   -v for verbose output of diff
-#   -y for side-by-side diff
-#   -R for no recursion
-
-diffout="/dev/null"
-diffopt=""
-result=""
-okname=""
-recurse="true"
-
-for arg in $* ; do
-  if test "x$arg" = "x-v" ; then diffout="/dev/stdout" ; fi
-  if test "x$arg" = "x-y" ; then diffopt="-y" ; fi
-  if test "x$arg" = "x-R" ; then recurse="false" ; fi
-done
-
-# First, we check if $1/OK exists. If so, it hopefully contains the
-# name of the successful comparison file in $1/cmp
-
-if test -r $1/OK; then
-  okname=`cat $1/OK`
-  if test "x$okname" != "x" ; then
-    result=" $okname"
-    if diff $diffopt $1/output $1/cmp/$okname > $diffout ; then
-      touch $1/OK
-      echo "$result"
-      exit 0 ;
-    else
-      echo " $1/cmp/$okname ";
-    fi
-  fi
-fi
-
-# rm -f $1/OK
-
-# If this round failed, check all files in this directory
-# If successful, write the name into $1/OK
-if test "recurse" == "true" ; then
-  echo "$result"
-  exit 1;
-fi
-
-for file in `cd $1/cmp ; ls` ; do
-  if test "$diffout" != "/dev/null" ; then
-    echo
-    echo "################### $1/cmp/$file" > $diffout
-  fi
-  if test -f $1/cmp/$file ; then
-    result="$result $file"
-    if diff $diffopt $1/output $1/cmp/$file > $diffout ; then
-      echo $file > $1/OK
-      echo "$result"
-      exit 0 ;
-    fi
-  fi
-done
-
-# All files failed
-
-echo "$result"
-exit 1
-

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.