From: Cesar Strauss Date: Sun, 13 Dec 2020 18:16:29 +0000 (-0300) Subject: Ignore formal verification output in the source directory X-Git-Tag: 24jan2021_ls180~64 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=996c7d01ef27ec5e5191596933ed2ef45b2b5b57;p=soc.git Ignore formal verification output in the source directory This is similarly done in other sister directories. --- diff --git a/src/soc/fu/spr/formal/.gitignore b/src/soc/fu/spr/formal/.gitignore new file mode 100644 index 00000000..150f68c8 --- /dev/null +++ b/src/soc/fu/spr/formal/.gitignore @@ -0,0 +1 @@ +*/* diff --git a/src/soc/fu/trap/formal/.gitignore b/src/soc/fu/trap/formal/.gitignore new file mode 100644 index 00000000..150f68c8 --- /dev/null +++ b/src/soc/fu/trap/formal/.gitignore @@ -0,0 +1 @@ +*/*