Merge pull request #26 from cknitt/feature/fix-ignored-subdirs

cknitt · web-flow · commit dbd848a03c9f · 2018-12-09T14:47:40.000+01:00
Add test3 to ignored_subdirs.
diff --git a/test/dune b/test/dune
@@ -1,4 +1,4 @@
-(ignored_subdirs (test1 test2))
+(ignored_subdirs (test1 test2 test3))
 
 (executable
   (name Test)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-(ignored_subdirs (test1 test2))`
	`1`	`+(ignored_subdirs (test1 test2 test3))`
`2`	`2`
`3`	`3`	`(executable`
`4`	`4`	`(name Test)`