#!/bin/bash
set -euo pipefail
: "${EV_CASE:?}" "${EV_SHA:?}"
cd /home/ubuntu/wt/pr-16874
[[ $(git rev-parse HEAD) == "$EV_SHA" ]]
mount --make-rprivate /
mapfile -t targets < <(realpath /bin/ps /usr/bin/ps | sort -u)
for target in "${targets[@]}"; do mount --bind /tmp/ev-16874/fake-ps "$target"; done
export T3CODE_RESOURCE_MONITOR_PATH=/tmp/ev-16874/native-unavailable
printf '%s\n' "$$" > "$EV_CASE/server.pid"
exec "$@"
