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; \
62 build-stubdom: mini-os-dir build-tools-public-headers
130 install-stubdom: mini-os-dir install-tools-public-headers
182 subtree-force-update: mini-os-dir-force-update
186 subtree-force-update-all: mini-os-dir-force-update
250 rm -rf extras/mini-os extras/mini-os-remote