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/treeadd/testit | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 test/ccured_olden/treeadd/testit

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

diff --git a/test/ccured_olden/treeadd/testit b/test/ccured_olden/treeadd/testit
deleted file mode 100755
index 031c54bd..00000000
--- a/test/ccured_olden/treeadd/testit
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/sh
-# test a treeadd binary
-
-if [ "$1" = "" ]; then
-  echo "usage: $0 ./treeadd.exe"
-  exit
-fi
-
-# all of treeadd's output is to stderr
-echo "running: $1 21 1 2>output"
-if ! $1 21 1 2>output; then
-  echo "$1 failed directly"
-  exit 2
-fi
-
-if ! diff out.orig output >out.diff; then
-  echo "$1 got the wrong answer. See out.diff"
-  exit 4
-else
-  echo "$1 seems to work"
-fi
- 
\ No newline at end of file
-- 
cgit