diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -1,4 +1,7 @@ *~ +*.cmi +*.cmo +*.cmx *.o *.a .deps @@ -13,21 +16,17 @@ config.guess config.h.in config.h config.log +config.ml config.status config.sub configure cscope.out depcomp febootstrap -febootstrap-run -febootstrap-install -febootstrap-minimize -febootstrap-to-initramfs -febootstrap-to-supermin -febootstrap-supermin-helper febootstrap*.8 febootstrap*.txt febootstrap-*.tar.gz +helper/febootstrap-supermin-helper helper/init lib/alloca.h lib/arg-nonnull.h |