From: mj Date: Mon, 25 Mar 2002 19:53:35 +0000 (+0000) Subject: Removed the old and redundant build.xml-new. X-Git-Tag: prexmlproducerconfig~247 X-Git-Url: http://erislabs.net/gitweb/?p=mir.git;a=commitdiff_plain;h=17e3df79226eeef4a1f467f373d34d2628427cbc 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. --- 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! - - - - - - - - - - - - - - - - - - - - - - - - - -