ignore clean-local rm error

diff --git a/tests/Makefile.in b/tests/Makefile.in
index 0774c182a1e687de370924f29502a5172df603b0..d75fad857c3605831b1467fdbd19238132437d89 100644 (file)
--- a/tests/Makefile.in
+++ b/tests/Makefile.in
@@ -42,5 +42,5 @@ clean-local:  FORCE
 
 veryclean-local: FORCE
        @-$(RM) data schema
-       $(RM) -r test-db test-repl
+       -$(RM) -r test-db test-repl