Ignore failure of rmdir -- this used to work, but now the directory
authorMike Taylor <mike@miketaylor.org.uk>
Fri, 6 Nov 2009 12:30:20 +0000 (12:30 +0000)
committerMike Taylor <mike@miketaylor.org.uk>
Fri, 6 Nov 2009 12:30:20 +0000 (12:30 +0000)
commitd753228cec93987d9e7025638b20122c387e7877
tree4058a7e560da0514a55cca7445986dfdb9073768
parent2f3e2859f808b36025b16f97d09b784a9afb239d
Ignore failure of rmdir -- this used to work, but now the directory
it's trying to remove is not there, and since I don't understand what
it was meant to be there for in the first place I am just going to let
is slide.
debian/rules