diff options
Diffstat (limited to 'tools/domctl/Makefile')
| -rw-r--r-- | tools/domctl/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/domctl/Makefile b/tools/domctl/Makefile index 9916d82d1f..951b7468b2 100644 --- a/tools/domctl/Makefile +++ b/tools/domctl/Makefile @@ -1,6 +1,9 @@ default: ant dist +install: default + cp domctl.jar domctl ../../../install/bin + clean: ant clean rm -f domctl.jar |