@ -4,7 +4,7 @@
set -e
: ${N_JOBS:=2}
: ${TIMEOUT:=2400}
: ${TIMEOUT:=2200}
if [ "$STL" != "" ]
then
xxxxxxxxxx
xxxxxxxxxx