Tomas Chvatal 0815a87c0c Do not check for beanshell if not needed ...

Do not install the benashell/javascript stuff if they are not actually
bult.
Build rhino only when required by javascript extension.

Change-Id: Icc378524008389af35631c64a1a0288eb4f271be

2012-05-05 12:15:38 +02:00

..

build.lst

…

d.lst

…