diff options
| -rwxr-xr-x | java/makedist.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/java/makedist.py b/java/makedist.py index afcd4fd6c2a..9da0b025cce 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -230,6 +230,12 @@ filesToRemove = find(".", "*generated") # generated, cgenerated, sgenerated for x in filesToRemove: shutil.rmtree(x) +# +# Remove other unnecessary subdirectories. +# +shutil.rmtree("admin") +shutil.rmtree("depcache") + os.chdir(cwd) # |