remove the .diff if its empty

diff --git a/testsuite/solver/lib/solver_init.exp b/testsuite/solver/lib/solver_init.exp
index 194b1bb..87c7e13 100644 (file)
--- a/testsuite/solver/lib/solver_init.exp
+++ b/testsuite/solver/lib/solver_init.exp
@@ -214,6 +214,8 @@ proc multi-run { src } {
                  fail $testBase_name
                  set errorOccured 0
                  continue
+             } else {                                  # remove the (empty) diff
+               exec sh -c "rm -f $mistakefile $difffile"
              }
          }