File size: 149 Bytes
3334467
 
 
 
 
1
2
3
4
5
6
#!/usr/bin/env bash
set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
exec bash "$SCRIPT_DIR/scripts/eval_drseg.sh" "$@"