@@ -14,8 +14,6 @@ Nothing to promote for B
1414 > hello
1515 > EOF
1616
17- Something to promote for C, but we don' t care for it right now.
18- $ echo " $ echo hello" > c.t
1917
2018Promoting A at this point does nothing , and we print a warning.
2119 $ dune promote a. t
@@ -31,41 +29,20 @@ This should be a warning for both A and B.
3129 Warning: Nothing to promote for b. t.
3230 Warning: Build completed with 2 warnings.
3331
34- Now A and C are in the promotion database.
35- $ dune build @a @c
32+ Now A is in the promotion database.
33+ $ dune build @ a
3634 File " a.t" , line 1 , characters 0 -0:
3735 Error: Files _build/ default / a. t and _build/ default / a. t. corrected differ.
38- File " c.t" , line 1, characters 0-0:
39- Error: Files _build/default /c.t and _build/default /c.t.corrected differ.
40- Error: Build failed with 2 errors.
36+ Error: Build failed with 1 error.
4137 [1 ]
4238
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-
4739This should be a success for A (and print nothing ), and a warning for B.
4840 $ dune promote a. t b. t
4941 Warning: Nothing to promote for b. t.
5042 Warning: Build completed with 1 warning.
5143
52- $ cat a.t
53- $ echo hello
54- hello
55-
56- C should still be in the database at this point, and promotion should work.
57- $ dune promote c.t
58- Success
59-
60- $ cat c.t
61- $ echo hello
62- hello
63-
6444 $ stop_dune
6545 File " a.t" , line 1 , characters 0 -0:
6646 Error: Files _build/ default / a. t and _build/ default / a. t. corrected differ.
67- File " c.t" , line 1, characters 0-0:
68- Error: Files _build/default /c.t and _build/default /c.t.corrected differ.
69- Had 2 errors, waiting for filesystem changes...
47+ Had 1 error, waiting for filesystem changes...
7048 Promoting _build/ default / a. t. corrected to a. t.
71- Promoting _build/default /c.t.corrected to c.t.
0 commit comments