diff --git a/core/build.xml b/core/build.xml index eecb754efe..02abcec026 100644 --- a/core/build.xml +++ b/core/build.xml @@ -30,6 +30,8 @@ + + @@ -132,8 +134,35 @@ + + + + + + + + + + + + + + + + + @@ -154,10 +183,7 @@ tofile="${my-gen.dir}/org/jnode/security/JNodeSecurityManagerSettings.java"> - - -