@@ -14,58 +14,33 @@ 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
2220 Warning: Nothing to promote for a. t.
2321
2422 $ start_dune
25- $ dune rpc ping --wait
26- Server appears to be responding normally
2723
2824This should be a warning for both A and B.
2925 $ dune promote a. t b. t
3026 Warning: Nothing to promote for a. t.
3127 Warning: Nothing to promote for b. t.
3228 Warning: Build completed with 2 warnings.
3329
34- Now A and C are in the promotion database.
35- $ dune build @a @c
30+ Now A is in the promotion database.
31+ $ dune build @ a
3632 File " a.t" , line 1 , characters 0 -0:
3733 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.
34+ Error: Build failed with 1 error.
4135 [1 ]
4236
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-
4737This should be a success for A (and print nothing ), and a warning for B.
4838 $ dune promote a. t b. t
4939 Warning: Nothing to promote for b. t.
5040 Warning: Build completed with 1 warning.
5141
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-
6442 $ stop_dune
6543 File " a.t" , line 1 , characters 0 -0:
6644 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...
45+ Had 1 error, waiting for filesystem changes...
7046 Promoting _build/ default / a. t. corrected to a. t.
71- Promoting _build/default /c.t.corrected to c.t.
0 commit comments