X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=1ab96e85279917076f05235e93ba9883c13e4a9a;hb=0b4a21233feddf554eaf999b97a29bf66a0ba0a7;hp=ea10fbc5f8dc796647afa2c7c47a501abebcbea7;hpb=9f87c7e685b00599a896e29210d109705fbbd1d2;p=openpower-isa.git

diff --git a/.gitignore b/.gitignore
index ea10fbc5..1ab96e85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,4 +8,6 @@ dist
 *.il
 /jit_test
 /jit_test.o
-/crtl
+/crtl*/
+/crtl*
+/formal_test_temp