diff options
-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 |