From 996c7d01ef27ec5e5191596933ed2ef45b2b5b57 Mon Sep 17 00:00:00 2001 From: Cesar Strauss Date: Sun, 13 Dec 2020 15:16:29 -0300 Subject: [PATCH] Ignore formal verification output in the source directory This is similarly done in other sister directories. --- src/soc/fu/spr/formal/.gitignore | 1 + src/soc/fu/trap/formal/.gitignore | 1 + 2 files changed, 2 insertions(+) create mode 100644 src/soc/fu/spr/formal/.gitignore create mode 100644 src/soc/fu/trap/formal/.gitignore 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 @@ +*/* -- 2.30.2