gitignore the generated code, executable, and zip

CakeML · May 21, 2015 · 2119a07 · 2119a07
1 parent 200a4a0
commit 2119a07
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -24,5 +24,9 @@ timing.log
 *.exe
 *.cgi
 
+x86-64/wrapper/asm_code.s
+x86-64/wrapper/cake
+x86-64/wrapper/cakeml*zip
+
 # x86-64 tests
 x86-64/wrapper/test*