Fix the .gitignores.

diku-dk · Jan 5, 2018 · efea30b · efea30b
1 parent cbc2cea
commit efea30b
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 10 deletions.
diff --git 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
@@ -0,0 +1,4 @@
+*
+!.gitignore
+!/**/
+!*.fut
diff --git a/tests/.gitignore b/tests/.gitignore
@@ -0,0 +1,4 @@
+*
+!.gitignore
+!/**/
+!*.fut