Fix __times() handling of EFAULT when buf is NULL
authorPetr Baudis <pasky@ucw.cz>
Thu, 14 Mar 2013 00:16:53 +0000 (01:16 +0100)
committerPetr Baudis <pasky@ucw.cz>
Thu, 14 Mar 2013 00:16:53 +0000 (01:16 +0100)
commit58a1335e76a553e1cf4edeebc27f16fc9b53d6e6
tree9fd5fa6a35ac6cae08023fae5fc0037e29c8e09b
parentbb48a26acf98a377a0ec235d127311ae4fbfb623
Fix __times() handling of EFAULT when buf is NULL
ChangeLog
sysdeps/unix/sysv/linux/times.c