#! /bin/bash

unset LANG

if [ "$1" = "--dist" ] ; then
  dist="--target $2"
  shift
  shift
fi

job_name=${JOB_NAME%-sr}

if [ -z "$job_name" -o "$job_name" = "$JOB_NAME" ] ; then
  echo "$JOB_NAME: unexpected job"
  exit 1
fi

cd "../$job_name"

tobs --wait-for-ok --sr $dist
