Skip to content

Commit 332dc7d

Browse files
committed
Also copy libA and libB to recreate test conditions
1 parent d5bdbc1 commit 332dc7d

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

dune

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,10 @@
4848

4949
; To change the test to repeat, change the source of the `copy`:
5050
(rule
51-
(copy src/dynlink/lin_tests.exe focusedtest.exe))
51+
(progn
52+
(copy src/dynlink/libA.cma libA.cma)
53+
(copy src/dynlink/libB.cma libB.cma)
54+
(copy src/dynlink/lin_tests.exe focusedtest.exe)))
5255

5356
(rule
5457
(alias focusedtest)

0 commit comments

Comments
 (0)