diff options
Diffstat (limited to 'tools/domctl/Makefile')
| -rw-r--r-- | tools/domctl/Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/tools/domctl/Makefile b/tools/domctl/Makefile deleted file mode 100644 index 3d40b8fc5e..0000000000 --- a/tools/domctl/Makefile +++ /dev/null @@ -1,9 +0,0 @@ -default: - ant dist - -install: default - cp domctl.jar domctl ../../../install/bin - chmod 755 ../../../install/bin/domctl -clean: - ant clean - rm -f domctl.jar |