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 9c6b7a9f87 - Show all commits

View File

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