diff options
| author | Tom Rondeau <trondeau@vt.edu> | 2013-03-01 12:08:34 -0500 |
|---|---|---|
| committer | Tom Rondeau <trondeau@vt.edu> | 2013-03-01 12:08:34 -0500 |
| commit | f26b3563614940347748c296d74b1071e9de4d2a (patch) | |
| tree | 3b7c70d5a9b9034609005d7d46c90f62f9924cb2 /volk/python/volk_modtool/volk_modtool_generate.py | |
| parent | ceb1c3496fd69cbff37a12e634c8baf7fc38f581 (diff) | |
volk: modifying volk_modtool.
1. Better handling of initial config cases.
2. Don't over-write an existing directory when using -i.
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'])) |