From: Ben Gras <ben@minix3.org>
Date: Mon, 29 Aug 2005 20:00:39 +0000 (+0000)
Subject: propagate EXTRA_OPTS
X-Git-Tag: v3.1.0~246
X-Git-Url: http://zhaoyanbai.com/repos/%22https:/www.google.com/jsapi/static/roff.7.ps?a=commitdiff_plain;h=a565c350e169ec03cd8cbcd156a5179d2d3336fe;p=minix.git

propagate EXTRA_OPTS
---

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