classpath-tools.jar

[Tom Tromey]

>>>>> "Matthias" == Matthias Klose <doko@ubuntu.com> writes:

Matthias> Tom Tromey schrieb:
>> Hmm... I wonder if somehow you have tools executables from
>> classpath/tools installed.  We should not be installing those but we
>> don't seem to disable the Makefile bits.

Matthias> but these are installed as /usr/share/classpath/tools.zip, not
Matthias> classpath-tools.jar (using my debian build).

We also install libgcj-tools-$VERSION.jar, which has the same
contents.  I don't think we want to install this twice.

Tom