diff -r 6f47eb624665 -r 5c752979bfd6 src/server/Makefile
--- a/src/server/Makefile	Sat Jan 28 10:53:46 2017 +0100
+++ b/src/server/Makefile	Mon Jan 30 20:54:20 2017 +0100
@@ -70,8 +70,8 @@
 	$(CC) -o $@ -c $(CFLAGS) $<
 
 
-$(PLUGINS): $(MAIN_TARGET)
+$(PLUGINS): $(MAIN_TARGET) FORCE
 	cd plugins/$@/; $(MAKE) all
 	
-	
+FORCE: