1 files changed, 2 insertions, 4 deletions
diff --git a/main.cxx b/main.cxx
index a3a7e56e..bc0d7389 100644
--- a/main.cxx
+++ b/main.cxx
@@ -1330,10 +1330,8 @@ pass_5:
 	  // Remove the temporary directory.
           string cleanupcmd = "rm -rf ";
           cleanupcmd += s.tmpdir;
-          if (s.verbose>1) clog << "Running " << cleanupcmd << endl;
-	  int status = stap_system (cleanupcmd.c_str());
-	  if (status != 0 && s.verbose>1)
-	    clog << "Cleanup command failed, status: " << status << endl;
+
+	  (void) stap_system (s.verbose, cleanupcmd);
         }
     }