1#!/bin/bash
2# Stop immediately if any executed command has exit status different from 0.
3set -eu
4
5script_dir="$(
6  cd "$(dirname "$0")"
7  echo "${PWD}"
8)"
9
10accepted_rst=$1
11
12grep -Eo "\`(Dir|Rule) [0-9]+\.[0-9]+" ${accepted_rst} \
13     | sed -e 's/`Rule /MC3A2.R/' -e  's/`Dir /MC3A2.D/' -e 's/.*/-enable=&/' > ${script_dir}/accepted.ecl
14
15echo "-enable=B.UNEVALEFF" >> ${script_dir}/accepted.ecl
16