diff -r 81e0f67386a6 -r edbb20b1438d dav/Makefile
--- a/dav/Makefile	Sat Sep 30 17:26:00 2023 +0200
+++ b/dav/Makefile	Sun Dec 17 14:25:34 2023 +0100
@@ -83,6 +83,8 @@
 ../build/tool/%$(OBJ_EXT): %.c 
 	$(CC) -I../ucx -I../ $(CFLAGS) $(DAV_CFLAGS) -c -o $@ $<
 
+../build/lib/libidav$(LIB_EXT):
+	test -f '$@'
 
 cppcheck: $(DAV_SRC) $(SYNC_SRC)
 	$(CPPCHECK) $(CPPCHECK_CONFIG) -I../ucx  $(CPPCHECK_FLAGS) $+ 2>> ../$(CPPCHECK_LOG)