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:]: |