files / problems / erdos-szekeres-seven / compute / run_all.sh
#!/usr/bin/env bash set -euo pipefail here="$(cd "$(dirname "$0")" && pwd)" python3 "$here/verify_record.py" "$here/q1/run_all.sh" "$here/q2/run_all.sh"
files / problems / erdos-szekeres-seven / compute / run_all.sh
#!/usr/bin/env bash set -euo pipefail here="$(cd "$(dirname "$0")" && pwd)" python3 "$here/verify_record.py" "$here/q1/run_all.sh" "$here/q2/run_all.sh"