revert previous change
This commit is contained in:
parent
8a38c1c61c
commit
5fbbddc56a
|
@ -70,6 +70,5 @@ END {
|
||||||
@ceedling[:plugin_manager].post_build
|
@ceedling[:plugin_manager].post_build
|
||||||
@ceedling[:plugin_manager].print_plugin_failures
|
@ceedling[:plugin_manager].print_plugin_failures
|
||||||
exit(1) if (@ceedling[:plugin_manager].plugins_failed?)
|
exit(1) if (@ceedling[:plugin_manager].plugins_failed?)
|
||||||
exit(0)
|
|
||||||
end
|
end
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue