1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 12:52:44 +01:00

Merge pull request #11695 from cladmi/pr/buildsystem_sanity_check/bug/never_returns_error

dist/tools/build_system_sanity_check: BUG fix errors being ignored
This commit is contained in:
Juan I Carrano 2019-06-26 11:58:11 +02:00 committed by GitHub
commit 6349d91277
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -127,7 +127,7 @@ check_deprecated_vars_patterns() {
}
error_on_input() {
grep '' && return 1
! grep ''
}
all_checks() {
@ -137,7 +137,7 @@ all_checks() {
}
main() {
all_checks | prepend 'Invalid build system patterns found by '"${0}:" || error_on_input >&2
all_checks | prepend 'Invalid build system patterns found by '"${0}:" | error_on_input >&2
exit $?
}