From aba655a9c7401f57e3ace65ddded6ada9ec8fbfd Mon Sep 17 00:00:00 2001 From: zzz Date: Fri, 27 Jul 2012 15:30:11 +0000 Subject: [PATCH] move default properties from build.xml to build.properties --- build.properties | 11 +++++++++++ build.xml | 18 +++--------------- 2 files changed, 14 insertions(+), 15 deletions(-) diff --git a/build.properties b/build.properties index 0fc430120..68df584f3 100644 --- a/build.properties +++ b/build.properties @@ -24,3 +24,14 @@ build.built-by=unknown # Uncomment the next line to prevent building EXEs (changing it to false will have no impact) #noExe=true + +# Change this to false if you don't have gettext +# Note that this does not prevent gettext from running if installed; to be fixed +require.gettext=true + +# Additional classpath if required +#javac.classpathe=/PATH/TO/pack200.jar + +# Optional compiler args +# This one keeps gcj a lot quieter +#javac.compilerargs=-warn:-unchecked,raw,unused,serial diff --git a/build.xml b/build.xml index 886bbe4d0..4b3cfbb87 100644 --- a/build.xml +++ b/build.xml @@ -1,21 +1,9 @@ - - - - - - - - - +