CCSDS Command Link Control Word (CLCW) for spacecraft command
irmin: single Schema API — remove old Backend/Store/Tree/Proof/Codec
+2
-4
+2
-4
test/interop/dariol83/dune
+2
-4
test/interop/dariol83/dune
···
5
5
(source_tree traces)
6
6
(source_tree scripts)))
7
7
8
-
; Regenerate traces: REGEN_TRACES=1 dune build @regen-traces
8
+
; Regenerate traces against dariol83: dune build @regen-traces
9
9
10
10
(rule
11
11
(alias regen-traces)
12
-
(enabled_if
13
-
(= %{env:REGEN_TRACES=0} 1))
14
12
(deps
15
13
(source_tree scripts))
16
14
(action
17
15
(chdir
18
16
scripts
19
-
(run bash generate.sh))))
17
+
(run bash ./generate.sh))))