diff options
author | Jason Gross <jgross@mit.edu> | 2017-10-16 01:04:03 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-10-16 01:04:03 -0400 |
commit | 06b31cfe1f8bc0c7e03d386767f84d1422b3f89a (patch) | |
tree | 3030b0119efb66552589864169520337c597b66c /generate_parameters.py | |
parent | ce70c20f23d7353a58e12cd79f3866cce218714d (diff) |
Don't error if we can't open a file
Diffstat (limited to 'generate_parameters.py')
-rw-r--r-- | generate_parameters.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/generate_parameters.py b/generate_parameters.py index 404b49845..6b56c51e5 100644 --- a/generate_parameters.py +++ b/generate_parameters.py @@ -205,9 +205,10 @@ def get_params_solinas(prime, bitwidth): return output def write_if_changed(filename, contents): - with open(filename, 'r') as f: - old = f.read() - if old == contents: return + if os.path.isfile(filename): + with open(filename, 'r') as f: + old = f.read() + if old == contents: return with open(filename, 'w') as f: f.write(contents) |