From a565c350e169ec03cd8cbcd156a5179d2d3336fe Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Mon, 29 Aug 2005 20:00:39 +0000 Subject: [PATCH] propagate EXTRA_OPTS --- servers/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/servers/Makefile b/servers/Makefile index 07bd4f11d..8e0852c81 100644 --- a/servers/Makefile +++ b/servers/Makefile @@ -23,9 +23,9 @@ all install depend clean: cd ./inet && $(MAKE) $@ image: - cd ./pm && $(MAKE) build - cd ./fs && $(MAKE) build - cd ./rs && $(MAKE) build - cd ./init && $(MAKE) build + cd ./pm && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build + cd ./fs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build + cd ./rs && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build + cd ./init && $(MAKE) EXTRA_OPTS=$(EXTRA_OPTS) build -- 2.44.0