From ec8a33ea5bf575ee9499d6514310ec0bd6cd04e7 Mon Sep 17 00:00:00 2001
From: "Janet B. Anderson" <jba@aps.anl.gov>
Date: Mon, 1 Oct 2001 17:45:09 +0000
Subject: [PATCH] Die if rmtree fails.

---
 config/tools/rm.pl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/config/tools/rm.pl b/config/tools/rm.pl
index 83f54571a..8a5ad222c 100755
--- a/config/tools/rm.pl
+++ b/config/tools/rm.pl
@@ -22,6 +22,10 @@ foreach $arg ( @ARGV )
 		{
 			rmdir ($arg) or die "Cannot delete $arg";
 		}
+        if (-d $arg)
+        {
+            die "Failed to delete $arg";
+        }
 	}
 	else
 	{