From 4e9be1a7bc4a871a7e338780da3bef4b1641b801 Mon Sep 17 00:00:00 2001 From: Marco Hladik Date: Tue, 6 Oct 2020 14:34:26 +0200 Subject: [PATCH] Makefile: Apparently a target can't be called 'plugins', so we'll rename it to 'plugs'. Neat. --- src/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Makefile b/src/Makefile index 780af077..a26bb5ba 100644 --- 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) @@ -16,7 +16,7 @@ games: cd server/rewolf && $(MAKE) cd client/gearbox && $(MAKE) cd server/gearbox && $(MAKE) -# cd client/wastes && $(MAKE) + #cd client/wastes && $(MAKE) #cd server/wastes && $(MAKE) mods: @@ -29,5 +29,5 @@ mods: cd client/hunger && $(MAKE) cd server/hunger && $(MAKE) -plugins: +plugs: cd plugins && $(MAKE)