Remove and ignore generated file src/boot/host-init.r

src/boot/host-init.r is generated by src/tools/make-host-init.r during the `prepare` build target. Remove the pre-generated file from version control and add it to the ignore list.
jacereda · Jun 9, 2013 · f83e5e3 · f83e5e3
1 parent fc51038
commit f83e5e3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 511 deletions.
diff --git a/.gitignore b/.gitignore
@@ -5,6 +5,7 @@
 make/r3*
 make/objs/
 src/boot/boot-code.r
+src/boot/host-init.r
 src/core/b-boot.c
 src/include/ext-types.h
 src/include/host-*