On Tue, Sep 1, 2020 at 4:22 AM Paul Eggert wrote:
> On 9/11/14 1:13 PM, Paul Eggert wrote:
> > Thanks, but there's no need for that; just have 'grep' complain if the
> > option is
> > used and O_NOATIME == 0.
>
> On looking into this more today, O_NOATIME seems to be just a best-effort
> thing
>
On Fri, Sep 04, 2020 at 11:12:07AM CDT, Jim Meyering wrote:
On Tue, Sep 1, 2020 at 4:22 AM Paul Eggert wrote:
On 9/11/14 1:13 PM, Paul Eggert wrote:
> Thanks, but there's no need for that; just have 'grep' complain if the option
is
> used and O_NOATIME == 0.
On looking into this more today, O