Add generated files to git ignore

diff --git a/.gitignore b/.gitignore
index 0ec8fb03592cee72e608eab2464b48808b6eb955..8b9d8baa8f0c0c750c179635fa9676f78e5b51e8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -129,6 +129,7 @@ src/verus-tx.exe
 Verus-CLI*
 verus-cli
 src/cryptoconditions/src/cryptoconditions-config.h*
+src/cryptoconditions/compile
 #output during builds, symbol tables?
 *.dSYM