diff options
Diffstat (limited to 'volk/python/volk_modtool/volk_modtool_generate.py')
| -rw-r--r-- | volk/python/volk_modtool/volk_modtool_generate.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/volk/python/volk_modtool/volk_modtool_generate.py b/volk/python/volk_modtool/volk_modtool_generate.py index 2e10e7b00c..80c2aed598 100644 --- a/volk/python/volk_modtool/volk_modtool_generate.py +++ b/volk/python/volk_modtool/volk_modtool_generate.py @@ -94,7 +94,7 @@ class volk_modtool: dest = os.path.join(self.my_dict['destination'], 'volk_' + self.my_dict['name']) if os.path.exists(dest): - shutil.rmtree(dest) + raise exceptions.IOError("Destination %s already exits!"%(dest)); if not os.path.exists(os.path.join(self.my_dict['destination'], 'volk_' + self.my_dict['name'], 'kernels/volk_' + self.my_dict['name'])): os.makedirs(os.path.join(self.my_dict['destination'], 'volk_' + self.my_dict['name'], 'kernels/volk_' + self.my_dict['name'])) |