From 5243eab73964ac5c2d6c8edc260ccc78ae15e3a3 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Fri, 19 Apr 2019 14:49:17 +0200 Subject: [PATCH] Makefile: in the check target always remove "./result*". ... otherwise you need to remove them manually when re-running 'make check'. --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 58e3d0f6..ce0f6c45 100644 --- a/Makefile +++ b/Makefile @@ -38,6 +38,7 @@ uninstall: done check: + -rm -f result.db* @./run-tests clean: