Merge pull request #38963 from lheckemann/requirefile-build-error

requireFile: exit with non-zero error message
This commit is contained in:
Sarah Brofeldt 2018-04-16 00:07:47 +02:00 committed by GitHub
commit 31effc1d7d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -170,6 +170,7 @@ rec {
***
_EOF_
exit 1
'';
};