diff options
author | Dmitry V. Levin <ldv@strace.io> | 2023-04-30 08:00:00 +0000 |
---|---|---|
committer | Dmitry V. Levin <ldv@strace.io> | 2023-04-30 08:00:00 +0000 |
commit | 8963de965b64092333a29e1589334886ebee97ac (patch) | |
tree | 5b37e6f351ca75850b53a4904034771a5e8c6380 | |
parent | 50111982e27976c3dfa3e3411281b88d778f49d5 (diff) | |
download | strace-8963de965b64092333a29e1589334886ebee97ac.tar.gz |
generate_mpers_am.sh: enhance error diagnostics
* src/generate_mpers_am.sh: Explicitly issue an error if the generated
list of mpers source files is empty.
Resolves: https://github.com/strace/strace/issues/249
-rwxr-xr-x | src/generate_mpers_am.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/generate_mpers_am.sh b/src/generate_mpers_am.sh index 4d77ecdb3..58063319a 100755 --- a/src/generate_mpers_am.sh +++ b/src/generate_mpers_am.sh @@ -13,6 +13,11 @@ list="$(sed -E -n '/^strace_SOURCES[[:space:]]*=/,/^[[:space:]]*# end of strace_ xargs -r grep -Elx '#[[:space:]]*include[[:space:]]+MPERS_DEFS' | tr '\n' ' ')" +[ -n "$list" ] || { + echo >&2 "$0: error: the list of mpers source files is empty" + exit 1 +} + cat > mpers.am <<EOF # Generated by $0; do not edit. mpers_source_files = $list |