diff -r aeaf7db26fac -r c094afcdfb27 src/server/config/Makefile
--- a/src/server/config/Makefile	Sun Jul 09 15:14:26 2023 +0200
+++ b/src/server/config/Makefile	Mon Jul 10 18:39:24 2023 +0200
@@ -27,5 +27,5 @@
 #
 
 $(CONF_OBJPRE)%.o: config/%.c
-	$(CC) -o $@ -c $(CFLAGS) $(SHLIB_CFLAGS) $<
+	$(CC) -o $@ -c $(WS_CFLAGS) $(CFLAGS) $(SHLIB_CFLAGS) $<