On Mon, May 06, 2019 at 11:01:02AM +0200, Paul Bolle wrote:
I had a local v5.1 build hang for the second (or third) time because
once again forgot to cherry-pick Jeremy's fixup of
configs/process_configs.sh from commit ece644100170 ("Linux
v5.0-6399-gf90d64483ebd"). I'm positive Jeremy noticed the need for that
fixup because a build appeared to hang.
Make sure this doesn't happen again by correctly terminating that loop
and then die. (Because, obviously, dying is better than hanging!)
Paul Bolle (2):
configs: properly indent process_configs.sh
configs: correctly terminate loop
configs/process_configs.sh | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
Applied both patches, thank you!