[dev] EXTERNAL_DIRS flag variable added in Tornado
Variable to add external directories under demand. This variable is used
by the tornado launch script.
This variable is needed to run Flink and TornadoVM successfully
@@ -120,7 +120,7 @@ if [[ $JAVA_VERSION == "9.0" || $JAVA_VERSION == "10.0" ]]; then
exit 0
fi
-TORNADO_FLAGS="-Djava.library.path=${TORNADO_SDK}/lib "
+TORNADO_FLAGS="-Djava.library.path=${TORNADO_SDK}/lib:$EXTERNAL_DIRS "
if [ "$JAVA_VERSION" = "1.8" ]; then
TORNADO_FLAGS="${TORNADO_FLAGS} -Djava.ext.dirs=${TORNADO_SDK}/share/java/tornado"
else
