From 7298b70d3b951e43ae454ee685f4727a8eb038b9 Mon Sep 17 00:00:00 2001 From: hns Date: Fri, 28 Apr 2006 22:24:54 +0000 Subject: [PATCH] * Copy java source files over to work/src before compiling. This has the following implications: - It allows us to replace the __builddate__ token in Server.java without changing the original file. - It makes sure all files are recompiled each time, avoiding compatible type change errors. --- build/build.xml | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/build/build.xml b/build/build.xml index 505e111c..99779c1d 100644 --- a/build/build.xml +++ b/build/build.xml @@ -91,7 +91,14 @@ - + + + + + + +