This is not for all libraries, but things like tools.jar can be added to the
target jdk paths (I think, haven't tried it:).

Carlos

"Alain Ravet" <[EMAIL PROTECTED]> wrote in message
[EMAIL PROTECTED]">news:[EMAIL PROTECTED]...
> I agree.
>
> Another point : some libraries are JRE dependent.
>
>     Ex: tools.jar
>
> => I defined "tools.jar 1.3_03", and "tools.jar 1.4".
>     When I change the JRE, I must remember to change the library too.
>
>
> Alain
>
> Erb wrote:
>
> > I think if the target JRE for a project is changed,
> > a full rebuild should probably be forced on the next Make.
>


_______________________________________________
Eap-features mailing list
[EMAIL PROTECTED]
http://lists.jetbrains.com/mailman/listinfo/eap-features

Reply via email to