diff options
Diffstat (limited to 'cpp/makedist.py')
| -rwxr-xr-x | cpp/makedist.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpp/makedist.py b/cpp/makedist.py index 13ab3f0c69c..48f893e056e 100755 --- a/cpp/makedist.py +++ b/cpp/makedist.py @@ -255,6 +255,8 @@ for x in filesToRemove: os.remove(x) shutil.rmtree(os.path.join("ice", "certs", "openssl")) shutil.rmtree(os.path.join("ice", "install")) +shutil.rmtree(os.path.join("ice", "src", "slice2cppe")) +shutil.rmtree(os.path.join("ice", "src", "slice2javae")) # # Generate bison files. |