Skip to content
Commit a0832bc1 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 005dfee9
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