projects / openpower-isa.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: a580192)
add formal_test_temp to .gitignore
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 2 Sep 2022 06:33:39 +0000 (23:33 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 2 Sep 2022 06:33:39 +0000 (23:33 -0700)
.gitignore patch | blob | history

diff --git a/.gitignore b/.gitignore
index ee28534dd7edb24f4ade229be0438fa5a9a6403c..1ab96e85279917076f05235e93ba9883c13e4a9a 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,4 @@ dist
 /jit_test.o
 /crtl*/
 /crtl*
+/formal_test_temp