diff -r aeaf7db26fac -r c094afcdfb27 src/server/webdav/Makefile
--- a/src/server/webdav/Makefile	Sun Jul 09 15:14:26 2023 +0200
+++ b/src/server/webdav/Makefile	Mon Jul 10 18:39:24 2023 +0200
@@ -29,8 +29,8 @@
 DAV_CFLAGS = 
 
 $(DAV_OBJPRE)%.o: webdav/%.c
-	$(CC) -o $@ -c $(DAV_CFLAGS) $(CFLAGS) $<
+	$(CC) -o $@ -c $(WS_CFLAGS) $(DAV_CFLAGS) $(CFLAGS) $<
 
 $(DAV_OBJPRE)%.o: webdav/%.cpp
-	$(CXX) -o $@ -c $(DAV_CFLAGS) $(CFLAGS) $<
+	$(CXX) -o $@ -c $(WS_CFLAGS) $(DAV_CFLAGS) $(CFLAGS) $<