diff options
| author | Amir Goldstein <amir73il@gmail.com> | 2024-03-17 20:41:48 +0200 |
|---|---|---|
| committer | Jan Kara <jack@suse.cz> | 2024-04-04 16:24:16 +0200 |
| commit | b5cae086cc2fde629495d988106d70e44c90cb20 (patch) | |
| tree | a80e5d174919de4ddb8217391712084a070726bb /scripts/git.orderFile | |
| parent | 230d97d39ee2eb9030309f04f98615aaeb420dac (diff) | |
fanotify: merge two checks regarding add of ignore mark
There are two similar checks for adding an ignore mark without
FAN_MARK_IGNORED_SURV_MODIFY, one for the old FAN_MARK_IGNORED flag
and one for the new FAN_MARK_IGNORE flag.
Merge the two checks into a single location.
Signed-off-by: Amir Goldstein <amir73il@gmail.com>
Signed-off-by: Jan Kara <jack@suse.cz>
Message-Id: <20240317184154.1200192-5-amir73il@gmail.com>
Diffstat (limited to 'scripts/git.orderFile')
0 files changed, 0 insertions, 0 deletions