propagate EXTRA_OPTS

This commit is contained in:
Ben Gras 2005-08-29 20:00:39 +00:00
parent c7b2e60af8
commit a565c350e1

View file

@ -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