Merge branch 'onestep' of git8.cs.fau.de:software/cool into onestep

4e809722 · Simon Prucker · 8908ed5d · 0eb58a54 · 4e809722
Commit 4e809722 authored May 16, 2022 by Simon Prucker
--- a/lib/tests/testsuite/dune
+++ b/lib/tests/testsuite/dune
 (test
 (name cool_testsuite)
 (modes native)
+ (allow_overlapping_dependencies)
 (libraries cool-lib ounit2 cool-generators)
 (action (run %{test} -output-junit-file testsuite.xml)))