From efea30b865166f7a9c6dbea5b0f6885126b2731d Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Fri, 5 Jan 2018 18:07:04 +0100 Subject: [PATCH] Fix the .gitignores. --- .gitignore | 10 ---------- examples/.gitignore | 4 ++++ tests/.gitignore | 4 ++++ 3 files changed, 8 insertions(+), 10 deletions(-) create mode 100644 examples/.gitignore create mode 100644 tests/.gitignore diff --git a/.gitignore b/.gitignore index e66b52aa3e..69d3f19436 100644 --- a/.gitignore +++ b/.gitignore @@ -14,14 +14,6 @@ dist # Ignore Stack junk .stack-work -# Ignore result of test suite. -tests/* -!tests/*.fut -!tests/**/*.fut -examples/* -!examples/*.fut -!examples/**/*.fut - # Ignore side-effects of compilation. *.aux *.log @@ -36,8 +28,6 @@ examples/* *.vrb *.nav -!tests/**/*.out - # Ignore core dumps. core core.* diff --git a/examples/.gitignore b/examples/.gitignore new file mode 100644 index 0000000000..da5be75557 --- /dev/null +++ b/examples/.gitignore @@ -0,0 +1,4 @@ +* +!.gitignore +!/**/ +!*.fut diff --git a/tests/.gitignore b/tests/.gitignore new file mode 100644 index 0000000000..da5be75557 --- /dev/null +++ b/tests/.gitignore @@ -0,0 +1,4 @@ +* +!.gitignore +!/**/ +!*.fut