diff --git a/build-coverage.xml b/build-coverage.xml index 22d20a0d..34fdc681 100644 --- a/build-coverage.xml +++ b/build-coverage.xml @@ -20,7 +20,9 @@ - + + + @@ -36,9 +38,10 @@ - + + @@ -96,4 +99,4 @@ - \ No newline at end of file + diff --git a/build.xml b/build.xml index 1352bc86..ffdf228a 100644 --- a/build.xml +++ b/build.xml @@ -4,6 +4,8 @@ + + @@ -57,30 +59,6 @@ - - - WTK_HOME from env ${env.WTK_HOME} - - - - - - - - - - - - - - Using WTK found in ${wtk.home} - - - - - - - diff --git a/wtk.xml b/wtk.xml new file mode 100644 index 00000000..afeaef79 --- /dev/null +++ b/wtk.xml @@ -0,0 +1,25 @@ + + + + WTK_HOME from env ${env.WTK_HOME} + + + + + + + + + + + + + + Using WTK found in ${wtk.home} + + + + + + +