From 6224148fdd809170d138216d72b8e6180d626aec Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 17 Feb 2010 13:44:32 +0000
Subject: Reorganization test directory

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1253 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/ccured_olden/perimeter/testit | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100755 test/ccured_olden/perimeter/testit

(limited to 'test/ccured_olden/perimeter/testit')

diff --git a/test/ccured_olden/perimeter/testit b/test/ccured_olden/perimeter/testit
deleted file mode 100755
index 35723c5f..00000000
--- a/test/ccured_olden/perimeter/testit
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/sh
-# test a perimeter binary
-
-if [ "$1" = "" ]; then
-  echo "usage: $0 ./perimeter.exe"
-  exit
-fi
-
-# all of perimeter's output is to stdout
-echo "running: $1 >output"
-if ! $1 >output; then
-  echo "$1 failed directly"
-  exit 2
-fi
-
-if ! grep -v "Time elapsed" <output | diff out.orig - >out.diff 2>&1  ; then
-  # For some reason diff returns error code but an empty diff !
-  if test -s out.diff; then 
-     echo "$1 got the wrong answer. See out.diff."
-     exit 4
-  fi
-fi
-echo "$1 seems to work"
-rm -f out.diff
- 
\ No newline at end of file
-- 
cgit