diff options
Diffstat (limited to 'tools/domain_builder/Makefile')
| -rw-r--r-- | tools/domain_builder/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/domain_builder/Makefile b/tools/domain_builder/Makefile index 6707481f1b..4e54fd4f4e 100644 --- a/tools/domain_builder/Makefile +++ b/tools/domain_builder/Makefile @@ -6,6 +6,9 @@ all: dom_builder.o dom_kill.o $(CC) -o $(BUILDER) dom_builder.o $(CC) -o $(KILL) dom_kill.o +install: all + cp domain_builder kill_domain ../../../install/bin + dom_builder.o: dom_builder.c dom0_defs.h dom0_ops.h hypervisor_defs.h mem_defs.h $(CC) -c dom_builder.c |