From 17e3df79226eeef4a1f467f373d34d2628427cbc Mon Sep 17 00:00:00 2001 From: mj Date: Mon, 25 Mar 2002 19:53:35 +0000 Subject: [PATCH] Removed the old and redundant build.xml-new. The property "dist.home" was defined but not used. Implemented now. Target "dist" had a self-inclusion problem if dist.home equals deploy.home like default setting defined. Added a "mrproper" target that deletes the whole deploy.home Changed target "clean" to only empty the classes directory. The default target "compile" now cleans the classes directory before compilation to ensure a clean build. Target "compile" now calls the permissions script before finishing. --- build.xml | 108 +++++++++++++++++++++++++----- build.xml-new | 211 ---------------------------------------------------------- 2 files changed, 91 insertions(+), 228 deletions(-) delete mode 100755 build.xml-new diff --git a/build.xml b/build.xml index 2b325ec1..6506d8c7 100755 --- a/build.xml +++ b/build.xml @@ -1,7 +1,20 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - + + + + + - - - + + + @@ -135,7 +206,9 @@ + destdir="${javadoc.home}"> + + @@ -154,13 +227,14 @@ that separately. --> - - + - + diff --git a/build.xml-new b/build.xml-new deleted file mode 100755 index 1608988d..00000000 --- a/build.xml-new +++ /dev/null @@ -1,211 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Now you should call perms.sh(-dist) in order to set - the permissions of your installed files to a meaningful - value. - Have fun with Mir! - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.11.0