From 6c4cf6ff82b2fb4e8d67d601843ad3b6bc34f688 Mon Sep 17 00:00:00 2001
From: Joshua Hillerup <joshua.hillerup@zenten.ca>
Date: Tue, 19 May 2020 18:46:57 -0400
Subject: [PATCH] Ignoring autogenerated bootstrap/test files

---
 .gitignore | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.gitignore b/.gitignore
index 3693c563d..cdb905094 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,5 +15,12 @@
 /tests/**/*.so
 /tests/**/*.dylib
 /tests/**/*.dll
+/tests/build/exec
 
 /src/IdrisPaths.idr
+
+/bootstrap/bin/
+/bootstrap/idris2-0*/
+/bootstrap/idris2sh_app/*.so
+/bootstrap/idris2sh_app/idris2-boot.ss
+/bootstrap/lib/