diff --git a/tools/class-v5/census-remote.sh b/tools/class-v5/census-remote.sh index 07b1798c9..1a18159f2 100755 --- a/tools/class-v5/census-remote.sh +++ b/tools/class-v5/census-remote.sh @@ -14,6 +14,6 @@ SEEDS="${1:-4600}"; FROM="${2:-0}"; THREADS="${3:-88}" OUT="$ROOT/docs/design/class-v5-harness" mkdir -p "$OUT" LOG="v5-census-$SEEDS-$FROM.log" -ssh -i "$KEY" "$HOST" "set -e; cd $REMOTE_ROOT/igneum-pow; bin=target/release/deps/\$(ls -t target/release/deps/ | grep -E '^igneum_pow-[0-9a-f]+\$' | head -1); echo \"census: binary \$bin (\$(stat -c %y \$bin | cut -c1-19)), commit \$(git -C $REMOTE_ROOT rev-parse --short HEAD)\"; mkdir -p /srv/builds/_log/v5-class; /srv/builds/_bin/lease pool $THREADS --label 'class v5 c3 census: $SEEDS seeds from $FROM' --owner class-v5 --min 16 -- env IGNEUM_V5_CENSUS_SEEDS=$SEEDS IGNEUM_V5_CENSUS_FROM=$FROM IGNEUM_V5_CENSUS_THREADS={cores} \$bin --ignored v5_hot_census --nocapture --test-threads 1 2>&1 | tee /srv/builds/_log/v5-class/$LOG" +ssh -i "$KEY" "$HOST" "set -e; cd $REMOTE_ROOT/igneum-pow; bin=; for c in \$(ls -t target/release/deps/ | grep -E '^igneum_pow-[0-9a-f]+\$'); do if target/release/deps/\$c --list 2>/dev/null | grep -q v5_hot_census; then bin=target/release/deps/\$c; break; fi; done; [ -n \"\$bin\" ] || { echo 'census: no test binary lists v5_hot_census (the CLI binary shares the igneum_pow- name)'; exit 3; }; echo \"census: binary \$bin (\$(stat -c %y \$bin | cut -c1-19)), commit \$(git -C $REMOTE_ROOT rev-parse --short HEAD)\"; mkdir -p /srv/builds/_log/v5-class; /srv/builds/_bin/lease pool $THREADS --label 'class v5 c3 census: $SEEDS seeds from $FROM' --owner class-v5 --min 16 -- env IGNEUM_V5_CENSUS_SEEDS=$SEEDS IGNEUM_V5_CENSUS_FROM=$FROM IGNEUM_V5_CENSUS_THREADS={cores} \$bin --ignored v5_hot_census --nocapture --test-threads 1 2>&1 | tee /srv/builds/_log/v5-class/$LOG" rsync -a -e "ssh -i $KEY" "$HOST:/srv/builds/_log/v5-class/$LOG" "$OUT/" echo "census: log at $OUT/$LOG"