Commit 8bccbb98 authored by Paul Eggert's avatar Paul Eggert

Fix extraclean in a different way for info+lib/sys

* (extraclean):
* lib/ (extraclean): Use rmdir but suppress any
error indication.  That way, ‘make extraclean’ will remove the
directory if it’s empty, and successfully do nothing otherwise.
parent e4e171bc
Pipeline #2191 failed with stage
in 57 minutes and 55 seconds