Lines Matching refs:os
21 .PHONY: mini-os-dir
22 mini-os-dir:
23 if [ ! -d $(XEN_ROOT)/extras/mini-os ]; then \
27 $(XEN_ROOT)/extras/mini-os ; \
30 .PHONY: mini-os-dir-force-update
31 mini-os-dir-force-update: mini-os-dir
34 cd extras/mini-os-remote; \
72 build-stubdom: mini-os-dir build-tools-public-headers
150 install-stubdom: mini-os-dir install-tools
200 subtree-force-update: mini-os-dir-force-update
204 subtree-force-update-all: mini-os-dir-force-update