Makefile: Apparently a target can't be called 'plugins', so we'll rename it to 'plugs'. Neat.

2020-10-06 14:34:26 +02:00 · 2020-10-06 14:34:26 +02:00 · 4e9be1a7bc
commit 4e9be1a7bc
parent 5810da8069
1 changed files with 3 additions and 3 deletions
--- a/src/Makefile
+++ b/src/Makefile
@ -2,7 +2,7 @@ all:
 	make menu
 	make games
 	make mods
-	make plugins
+	make plugs

 menu:
 	cd menu-fn && $(MAKE)
@ -29,5 +29,5 @@ mods:
 	cd client/hunger && $(MAKE)
 	cd server/hunger && $(MAKE)

-plugins:
+plugs:
 	cd plugins && $(MAKE)