Use more tools
@@ -45,6 +45,10 @@ SETTINGS=dev/build/swift-t-settings.sh
rm -fv $SETTINGS
dev/build/init-settings.sh
+# Pre-installed tools:
+PATH=/home/woz/Public/sfw/ant-1.9.4/bin:$PATH
+PATH=/home/woz/Public/sfw/x86_64/jdk-1.8.0_91/bin:$PATH
+
# Products from other Jenkins projects:
MPICH=$WORKSPACE_ROOT/Swift-T-MPICH/sfw/mpich-4.0.3
TCL=$WORKSPACE_ROOT/Swift-T-Tcl/sfw/tcl-8.6.12
