Skip to content

Commit b9e2d95

Browse files
committed
Add sleep after build to avoid races.
Signed-off-by: Ambre Austen Suhamy <[email protected]>
1 parent 9d8fcdb commit b9e2d95

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

test/blackbox-tests/test-cases/watching/promotion-db.t

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,10 @@ Now A and C are in the promotion database.
4040
Error: Build failed with 2 errors.
4141
[1]
4242

43+
Make sure that the above build command has finished, and also that the server
44+
has finished dealing with the promotion database.
45+
$ sleep 1
46+
4347
This should be a success for A (and print nothing), and a warning for B.
4448
$ dune promote a.t b.t
4549
Warning: Nothing to promote for b.t.

0 commit comments

Comments
 (0)