Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
Showing only changes of commit f8122f3c8b - Show all commits

View File

@@ -94,8 +94,8 @@ let
${bsc.cn6}/bin/cn6 -s $tracedir
${bsc.cn6}/bin/cut $begin $end \
< $tracedir/prv/trace.prv \
${bsc.cn6}/bin/cut $begin $end < $tracedir/prv/trace.prv |\
${bsc.cn6}/bin/hcut 1 ${toString conf.cpusPerTask} \
> $tracedir/prv/trace-cut.prv
${bsc.cn6}/bin/dur 6400025 0 < $tracedir/prv/trace-cut.prv |\