From: Bruno Haible Date: Wed, 17 Sep 2003 12:46:33 +0000 (+0000) Subject: Comment about the validity of errno. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5dc4737c245eafc8d20ea7e73a03318e94a3d737;p=pspp Comment about the validity of errno. --- diff --git a/lib/mountlist.c b/lib/mountlist.c index 096593fb17..9051e817db 100644 --- a/lib/mountlist.c +++ b/lib/mountlist.c @@ -612,6 +612,7 @@ read_filesystem_list (int need_fs_type) if (ferror (fp)) { + /* The last fread() call must have failed. */ int saved_errno = errno; fclose (fp); errno = saved_errno;