diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/domctl/Makefile | 2 | ||||
-rw-r--r-- | tools/internal/Makefile | 2 | ||||
-rw-r--r-- | tools/vdmanager/Makefile | 2 |
3 files changed, 4 insertions, 2 deletions
diff --git a/tools/domctl/Makefile b/tools/domctl/Makefile index 951b7468b2..3d40b8fc5e 100644 --- a/tools/domctl/Makefile +++ b/tools/domctl/Makefile @@ -3,7 +3,7 @@ default: install: default cp domctl.jar domctl ../../../install/bin - + chmod 755 ../../../install/bin/domctl clean: ant clean rm -f domctl.jar diff --git a/tools/internal/Makefile b/tools/internal/Makefile index 3e60bd9fb2..fc7ed13fb1 100644 --- a/tools/internal/Makefile +++ b/tools/internal/Makefile @@ -29,6 +29,8 @@ $(XI_DESTROY).o: $(XI_DESTROY).c dom0_ops.h dom0_defs.h install: all cp -a xi_list xi_vifinit $(XI_CREATE) $(XI_BUILD) $(XI_START) $(XI_STOP) $(XI_DESTROY) ../../../install/bin + chmod 755 ../../../install/bin/xi_list + chmod 755 ../../../install/bin/xi_vifinit clean: $(RM) *.o $(XI_CREATE) $(XI_START) $(XI_STOP) $(XI_DESTROY) $(XI_BUILD) diff --git a/tools/vdmanager/Makefile b/tools/vdmanager/Makefile index ddb8f0c9ef..3d78fde9bc 100644 --- a/tools/vdmanager/Makefile +++ b/tools/vdmanager/Makefile @@ -3,7 +3,7 @@ default: install: default cp -a vdmanager vdmanager.jar ../../../install/bin - + chmod 755 ../../../install/bin/vdmanager clean: ant clean rm -f vdmanager.jar |