this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

More static

+3 -3
+3 -3
static.patch
··· 1 1 diff --git a/dune b/dune 2 - index d7572d4..59a2082 100644 2 + index f6fff69..1de904e 100644 3 3 --- a/dune 4 4 +++ b/dune 5 5 @@ -1,6 +1,7 @@ ··· 7 7 (name opentrace) 8 8 (public_name opentrace) 9 9 + (flags (:standard -cclib -static -cclib -lelf -cclib -lzstd -cclib -lz)) 10 + (preprocess (pps ppx_blob)) 11 + (preprocessor_deps (file opentrace.bpf.o)) 10 12 (libraries unix libbpf libbpf_maps)) 11 - 12 - (rule