summaryrefslogtreecommitdiff
path: root/man/Makefile
diff options
context:
space:
mode:
authorLennart Poettering <lennart@poettering.net>2014-12-12 20:12:35 +0100
committerLennart Poettering <lennart@poettering.net>2014-12-12 20:12:35 +0100
commit7d54a03a877e9c3f3f3087401ac4ccc1e12c78ea (patch)
tree78a31d0d499781e6dd584677e3dbcd8c0398b787 /man/Makefile
parentb1acce80cd60fe95f16df2f1ad23ff2ad82d08e5 (diff)
core: retry unmounting until we are done, in case of stacked mounts
Diffstat (limited to 'man/Makefile')
0 files changed, 0 insertions, 0 deletions