#638 compile stage of build.xml contains duplicate sources

[tim.walsh]

I think there is a duplicate entry in the compile stage of build.xml (v12040).
Please look at lines 806 and 807. The variable ${main.java}, which resolves to ./rvm/src, appears in both the "srcdir" list and the "sourcepath" list.

The reason I say that I think there is a duplicate entry is because I have never quite worked out the difference between srcdir and sourcepath. Perhaps they are treated differently? From what I can tell, source files in both get compiled.

[Peter Donald]

Logged In: YES
user_id=1642927
Originator: NO

This is not a bug as such. IIRC the srcdir property specifies where the .java files are scanned from while sourcepath is the value passed to the compiler (and thus may have files compiled in it even if they don't appear in srcdir if they are referenced from files in srcdir). I think that if you remove main.java from srcdir it will actually generate an error.