diff options
-rwxr-xr-x | ACE/bin/make_release.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ACE/bin/make_release.py b/ACE/bin/make_release.py index f460c5af31c..9b6c5b2e4ba 100755 --- a/ACE/bin/make_release.py +++ b/ACE/bin/make_release.py @@ -821,6 +821,7 @@ def create_file_lists (base_dir, prefix, exclude): if fullitem in exclude or item in exclude: # print "Removing " + fullitem + " from consideration...." files.remove (item) + continue else: if bin_regex.search (fullitem) is not None: bin_files.append ('"' + os.path.join (prefix, fullitem) + '"') |