Merge bscpkgs into jungle #189

Manually merged
rarias merged 1013 commits from merge-bscpkgs into master 2025-10-07 16:12:34 +02:00
2 changed files with 2 additions and 0 deletions
Showing only changes of commit 9277e60079 - Show all commits

View File

@@ -19,6 +19,7 @@ stdenv.mkDerivation {
cd ${inputResult}/$exp/$unit
conf=garlic_config.json
for run in $(ls -d [0-9]* | sort -n); do
echo "processing unit=$unit run=$run"
awk '/^[0-9]+ +[0-9\.]+$/{print $1, $2}' $run/stdout.log | (
while read -r size latency; do
jq -cn "{ exp:\"$exp\", unit:\"$unit\", config:inputs, run:$run, \

View File

@@ -19,6 +19,7 @@ stdenv.mkDerivation {
cd ${inputResult}/$exp/$unit
conf=garlic_config.json
for run in $(ls -d [0-9]* | sort -n); do
echo "processing unit=$unit run=$run"
time=$(awk '/^ ?time /{print $2}' $run/stdout.log)
if [ -z "$time" ]; then
echo "error: cannot match \"time\" line"