X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=.gitignore;h=1ab96e85279917076f05235e93ba9883c13e4a9a;hb=969ac823cba458d3ea2483f389933ba9831a9b29;hp=ee28534dd7edb24f4ade229be0438fa5a9a6403c;hpb=7f68fcccf533d33e300057d131b5f55ae62c2ad5;p=openpower-isa.git

diff --git a/.gitignore b/.gitignore
index ee28534d..1ab96e85 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ dist
 /jit_test.o
 /crtl*/
 /crtl*
+/formal_test_temp