awk: next_input_file can return NULL, don't SEGV in this case.
authorDenys Vlasenko <vda.linux@googlemail.com>
Wed, 7 Sep 2011 18:01:39 +0000 (20:01 +0200)
committerDenys Vlasenko <vda.linux@googlemail.com>
Wed, 7 Sep 2011 18:01:39 +0000 (20:01 +0200)
commitf65c5f5c547c48b7766db58d10043a504d953aa1
tree3cb8bd1fe617ee5664da918e3bebb808d6c8cf44
parente8f36330d9bb27f9f7e66aa6f01ff92c07d86f62
awk: next_input_file can return NULL, don't SEGV in this case.

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
editors/awk.c