Index: .gitignore
===================================================================
--- .gitignore	(revision bf70aa95b89eb2a7499a5dca8acfa765fa5c2867)
+++ .gitignore	(revision 6ce3ae922b111327cd3ac420a940851d0e653550)
@@ -32,4 +32,6 @@
 src/prelude/builtins.cf
 src/prelude/builtins.c
+src/prelude/gcc-builtins.cf
+src/prelude/gcc-builtins.c
 src/prelude/extras.cf
 src/prelude/bootloader.c