Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix missing deletion of CLEAN_DIR directories
The actual deletion of directories which where added to CLEAN_DIRS by out_of_the_way() is missing in the code: buczek@theinternet:~/git/cmirror (fix-printf-formats)$ rm -rf /scratch/local/a buczek@theinternet:~/git/cmirror (fix-printf-formats)$ rm -rf /scratch/local/b buczek@theinternet:~/git/cmirror (fix-printf-formats)$ mkdir /scratch/local/a buczek@theinternet:~/git/cmirror (fix-printf-formats)$ touch /scratch/local/a/test buczek@theinternet:~/git/cmirror (fix-printf-formats)$ mkdir /scratch/local/b buczek@theinternet:~/git/cmirror (fix-printf-formats)$ mkdir /scratch/local/b/test buczek@theinternet:~/git/cmirror (fix-printf-formats)$ cmirror --delete /scratch/local/a /scratch/local/b theinternet.molgen.mpg.de: creating empty ./test theinternet.molgen.mpg.de: rm -r ./test.deleteme theinternet.molgen.mpg.de: fix directory mtime of . -> 1661234914 buczek@theinternet:~/git/cmirror (fix-printf-formats)$ find /scratch/local/b /scratch/local/b /scratch/local/b/test.deleteme /scratch/local/b/test Add call to remove directory.
- Loading branch information