diff options
| -rwxr-xr-x | src/scripts/dist.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/scripts/dist.py b/src/scripts/dist.py index 3929c9531..35e63c526 100755 --- a/src/scripts/dist.py +++ b/src/scripts/dist.py @@ -339,10 +339,6 @@ def main(args = None): shutil.rmtree(output_basename) - if options.print_output_names: - for output_file in output_files: - print(output_file) - if options.pgp_key_id != 'none': if options.write_hash_file != None: output_files += gpg_sign(options.pgp_key_id, options.pgp_passphrase_file, @@ -356,6 +352,10 @@ def main(args = None): logging.debug('Moving %s to %s' % (output_file, options.output_dir)) shutil.move(output_file, os.path.join(options.output_dir, output_file)) + if options.print_output_names: + for output_file in output_files: + print(output_file) + return 0 if __name__ == '__main__': |