Commit d018f5377f0a9f56c5cc2b5fc4098d6cd556ddb7

Bruno Haible 2024-04-13T12:06:34

gnulib-tool.py: Refactor directory tree removals. * pygnulib/constants.py (rmtree): New function. * pygnulib/GLImport.py (GLImport.execute): Use it instead of calling 'rm -rf' directly or shutil.rmtree. * pygnulib/GLTestDir.py (GLTestDir.execute, GLMegaTestDir.execute): Likewise. * pygnulib/main.py (main): Likewise.