update gitignore

mirage · Feb 19, 2019 · 034dfad · 034dfad
1 parent 0d3947b
commit 034dfad
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,10 +1,8 @@
 _build/
 _config/
-tap_stubs_os.c
 .*.swp
 xen/runtime/ocaml/libocaml.cclib
 xen/runtime/include/caml/*.h
 *.o
 *.a
-setup.data
-setup.log
+*.install