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=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=1c43acb2f18613c0f65884feb05804b80d84b6e3;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;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"