diff options
author | Paul Smith <psmith@gnu.org> | 2013-09-14 20:40:30 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2013-09-14 20:40:30 -0400 |
commit | 29a94ceb76936b88e74052dcb81fe506145f6ff4 (patch) | |
tree | 9ecba816136119896da6df2a94c74c5116a5d688 /makeint.h | |
parent | ab78cbc71ce16dd39e4b6b9e42c02f75bf1d8a50 (diff) | |
download | gunmake-29a94ceb76936b88e74052dcb81fe506145f6ff4.tar.gz |
[SV 33134] Don't try to close stdout when it's already closed.
Diffstat (limited to 'makeint.h')
-rw-r--r-- | makeint.h | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -493,8 +493,6 @@ void user_access (void); void make_access (void); void child_access (void); -void close_stdout (void); - char *strip_whitespace (const char **begpp, const char **endpp); /* String caching */ |