X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fwrite%2Frun_write;fp=helm%2FDEVEL%2Fpxp%2Fpxp%2Frtests%2Fwrite%2Frun_write;h=0000000000000000000000000000000000000000;hb=bb2953675ebb08267186029b18bc3fdca9c137df;hp=1c43acb2f18613c0f65884feb05804b80d84b6e3;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git

diff --git a/helm/DEVEL/pxp/pxp/rtests/write/run_write b/helm/DEVEL/pxp/pxp/rtests/write/run_write
deleted file mode 100755
index 1c43acb2f..000000000
--- a/helm/DEVEL/pxp/pxp/rtests/write/run_write
+++ /dev/null
@@ -1,17 +0,0 @@
-#! /bin/bash
-
-test_sample () {
-    file="$1"
-    echo -n "Testing $file... "
-    ./test_write -in "$file" >out1
-    ./test_write -in out1    >out2
-    ./test_write -in out2    >out3
-    if cmp out1 out3; then
-	echo "OK"
-    else
-	echo "FAILED"
-    fi
-}
-
-
-test_sample "sample001.xml"