Skip to content
Commit e4f03cae authored by Guido Günther's avatar Guido Günther
Browse files

Check if the directories exist before removing them 

rmdir returns nonzero otherwise and this is more strict than just using
|| true.

Closes: #767672
parent fb4bf475
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment