From 3d05401764a747c9afbfd950e51e0f0b28a1349c Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 22 Jun 2011 10:14:17 +0000
Subject: fix bug 2510: xml test is in the summary if it fails

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14233 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 test-suite/Makefile   |   2 +-
 test-suite/csdp.cache | Bin 45137 -> 76555 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index fcf137ca1f..4e94f29a07 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -371,7 +371,7 @@ misc/xml.log:
 	  else \
 	    echo $(log_success); \
 	    echo "    misc/xml...apparently ok"; \
-	  fi; rm -r misc/xml; \
+	  fi; rm -rf misc/xml; \
 	} > "$@"
 
 # Check that both coqdep and coqtop/coqc takes the later -I/-R
diff --git a/test-suite/csdp.cache b/test-suite/csdp.cache
index 7874f46954..297ac255d3 100644
Binary files a/test-suite/csdp.cache and b/test-suite/csdp.cache differ
-- 
cgit v1.2.3