Polishing.

Remove superfluous versions. Improve make clean by removing stale pid files. See #2711
2023-10-11 14:45:12 +02:00
parent 0815313f29
commit a0c8136d6b
2 changed files with 2 additions and 3 deletions
--- a/2
+++ b/2
@@ -167,7 +167,7 @@ cluster-init: cluster-start cluster-meet cluster-slots
 # Global
 ########
 clean:
-	rm -rf work/*.conf work/*.log dump.rdb
+	rm -rf work/*.conf work/*.pid work/*.log dump.rdb

 clobber:
 	rm -rf work