1#!/bin/bash
2
3# Generates the adopted.ecl file
4
5set -eu
6
7script_name="$(basename "$0")"
8script_dir="$(
9  cd "$(dirname "$0")"
10  echo "${PWD}"
11)"
12
13fatal() {
14  echo "${script_name}: $*" >&2
15  exit 1
16}
17
18usage() {
19  fatal "Usage: ${script_name}"
20}
21
22exclude_list=$1
23outfile=${script_dir}/adopted.ecl
24
25(
26  echo "-doc_begin=\"Adopted files.\"" >"${outfile}"
27  sed -n -E -e 's|^\s+"rel_path":\s+"([^"]*).*$|-file_tag+={adopted,"^xen/\1$"}|p' "${exclude_list}" |
28    sed -E -e 's|\.([ch])|\\\\.\1|g' -e 's|\*|.*|g' >>"${outfile}"
29  printf "%s\n" "-doc_end" >>"${outfile}"
30)
31