# HG changeset patch # User okorol # Date 1433517443 14400 # Node ID d74a601111f298b8c70e0a124c7ff5e08da21d91 # Parent 8a6312fa46337a404bdb76d4eec58ab0a330f625 Uploaded diff -r 8a6312fa4633 -r d74a601111f2 ITSx.xml --- a/ITSx.xml Fri Jun 05 11:14:25 2015 -0400 +++ b/ITSx.xml Fri Jun 05 11:17:23 2015 -0400 @@ -5,7 +5,7 @@ - ITSx -i $input --detailed_results T -N $domain_num --cpu ${NSLOTS} $preserve $reset + ITSx -i $input --detailed_results T -N $domain_num $preserve $reset #if "${NSLOTS}"=="": --cpu=4 #else: