diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-03 13:16:52 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-03 13:16:52 -0400 |
commit | bf8c50898c8431577160998d70e95035601e533e (patch) | |
tree | a708b8f85a036dd3ea46a535767db0265571a7bb /generate_parameters.py | |
parent | c2505b9ad1fb06b31c720f00eef7b697445ba63e (diff) |
Make compiler*.sh stable under rebuilding
Oops, we were previously relying on python's iteration order of dicts
for which order we passed the various -D flags to gcc.
Diffstat (limited to 'generate_parameters.py')
-rw-r--r-- | generate_parameters.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate_parameters.py b/generate_parameters.py index 866f96fc3..b3022d01c 100644 --- a/generate_parameters.py +++ b/generate_parameters.py @@ -160,7 +160,7 @@ def get_extra_compiler_params(q, base, bitwidth, sz): 'modulus_limbs' : repr(str(sz)), 'limb_weight_gaps_array' : limb_widths } - return ' ' + ' '.join('-D%s=%s' % (k, v) for k, v in defs.items()) + return ' ' + ' '.join('-D%s=%s' % (k, v) for k, v in sorted(defs.items())) def num_bits(p): return p[0][1] |