# HG changeset patch # User okorol # Date 1433518059 14400 # Node ID 88ea67da0d994d379fbd95d6d7a7e80da7ce1b14 # Parent d74a601111f298b8c70e0a124c7ff5e08da21d91 Uploaded diff -r d74a601111f2 -r 88ea67da0d99 ITSx.xml --- a/ITSx.xml Fri Jun 05 11:17:23 2015 -0400 +++ b/ITSx.xml Fri Jun 05 11:27:39 2015 -0400 @@ -5,13 +5,7 @@ - ITSx -i $input --detailed_results T -N $domain_num $preserve $reset - #if "${NSLOTS}"=="": - --cpu=4 - #else: - --cpu="${NSLOTS}" - #end if - + ITSx -i $input --detailed_results T -N $domain_num --cpu=\${NSLOTS:1} $preserve $reset