diff options
author | Ludovic Courtès <ludo@gnu.org> | 2021-11-19 14:53:25 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-11-19 23:04:19 +0100 |
commit | 24224530d1f4a70808d003ba8dce849b77625b79 (patch) | |
tree | 553e894234a993037eeb90a3a3074ecf28c36c96 /gnu/packages/lean.scm | |
parent | 256c3e714a459af6db2343c9120c7180c5a14462 (diff) |
daemon: Micro-optimize 'deletePath'.
'remove' calls 'unlink' first and falls back to 'rmdir' upon EISDIR.
This change gets rid of the 'unlink' call for every directory being
removed.
* nix/libutil/util.cc (_deletePath): Call 'unlink' or 'rmdir' depending
on 'st.st_mode', rather than call 'remove'.
Diffstat (limited to 'gnu/packages/lean.scm')
0 files changed, 0 insertions, 0 deletions