diff Makefile @ 49891:76d1e9f229fe

merge: disable the whole filesystem access loop if [_realfs] is false This makes it clearer that [auditeddir] is only relevant for [_realfs] checkers, and makes the non-realfs checkers more performant.
author Arseniy Alekseyev <aalekseyev@janestreet.com>
date Wed, 04 Jan 2023 17:03:15 +0000
parents d5b722ce9864
children e3274e02d08e 010a1e73f69e
line wrap: on
line diff