diff --git a/.gitignore b/.gitignore
index f7d72fb..63f354b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,5 @@ _build
 
 *.byte
 *.cmi
+
+*.s