diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-09-30 07:44:04 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-01 09:34:05 -0400 |
| commit | acb3b3ddc082880eaaa1d7773296ad9abd756f23 (patch) | |
| tree | 7344d56e2be6df46f9fb386a5227c6608cea1517 /src/shared | |
| parent | 9348f0e690c28f86a69c96e3e9b9f19a31c6d466 (diff) | |
shared: util - use nicer idiom to silence Coverity
Change the other spot too.
Diffstat (limited to 'src/shared')
| -rw-r--r-- | src/shared/util.c | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/src/shared/util.c b/src/shared/util.c index ebacee55b1..bbd9bd11d6 100644 --- a/src/shared/util.c +++ b/src/shared/util.c @@ -3306,13 +3306,8 @@ unsigned lines(void) { l = 0; e = getenv("LINES"); - if (e) { - int r; - - r = safe_atou(e, &l); - if (r < 0) {} - /* do nothing, we fall back to l = 0 */ - } + if (e) + (void) safe_atou(e, &l); if (l <= 0) l = fd_lines(STDOUT_FILENO); |