diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-29 11:46:05 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-29 11:46:05 +0200 |
| commit | 3d4a467db398b88fc3534cbfa3ed79a454826749 (patch) | |
| tree | e99a98b7a285615eb3f8f78cf95de6d4fde221f4 /bin/common-functions | |
| parent | d39cea2a852127db12fe09f821e4581fd052cd2c (diff) | |
| download | builder-3d4a467db398b88fc3534cbfa3ed79a454826749.tar.xz | |
bin/common-functions: add sanity check after execution of make_source_info
Diffstat (limited to 'bin/common-functions')
| -rwxr-xr-x | bin/common-functions | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/common-functions b/bin/common-functions index 2e55d5b..0d46382 100755 --- a/bin/common-functions +++ b/bin/common-functions @@ -141,6 +141,10 @@ generate_package_metadata() { echo "make_source_info failed." exit 1 fi + if [ ! -f "${file_prefix}.SRCINFO" ]; then + >&2 printf '"%s" not created by "make_source_info" - eh, what?' "${file_prefix}.SRCINFO" + exit 1 + fi # otherwise this just calls for trouble sed -i '/=\s*$/d' "${file_prefix}.SRCINFO" |