diff options
Diffstat (limited to 'java/makedist.py')
| -rwxr-xr-x | java/makedist.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/java/makedist.py b/java/makedist.py index 61674902fc5..7367ee55da2 100755 --- a/java/makedist.py +++ b/java/makedist.py @@ -233,7 +233,7 @@ for x in filesToRemove: # # Remove other unnecessary subdirectories. # -shutil.rmtree("admin") +#shutil.rmtree("admin") shutil.rmtree("depcache") os.chdir(cwd) |