| Index: src/trusted/validator_ragel/build.scons
|
| diff --git a/src/trusted/validator_ragel/build.scons b/src/trusted/validator_ragel/build.scons
|
| index 84d5dff0e7de8a262cbde7745c4572f8367b288f..dee21dcb797c8b2fc49537f56a09b380cf94eb2d 100644
|
| --- a/src/trusted/validator_ragel/build.scons
|
| +++ b/src/trusted/validator_ragel/build.scons
|
| @@ -375,6 +375,8 @@ if ragel_involved:
|
| '20150223.crc32w', '20150226.jecxz'),
|
| ('vmovd_proof.py', ('32', '64'),
|
| '20150226.jecxz', '20150430.vmovd_bugfix'),
|
| + ('nacl_unsupported_proof.py', ('32', '64'),
|
| + '20150430.vmovd_bugfix', '20150723.nacl_unsupported'),
|
| ]
|
| # Run the 5 latest proofs by default.
|
| for proof_file, bitnesses, old, new in trie_proofs[-5:]:
|
|
|