diff options
Diffstat (limited to 'testing/jackline/use-built-in-uchar-lib.patch')
| -rw-r--r-- | testing/jackline/use-built-in-uchar-lib.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testing/jackline/use-built-in-uchar-lib.patch b/testing/jackline/use-built-in-uchar-lib.patch new file mode 100644 index 00000000000..d28c6acb9b5 --- /dev/null +++ b/testing/jackline/use-built-in-uchar-lib.patch @@ -0,0 +1,10 @@ +--- a/src/dune ++++ b/src/dune +@@ -3,6 +3,6 @@ + (wrapped false) + (libraries astring base64 cstruct dns-client.lwt erm_xmpp hex lwt lwt.unix + mirage-crypto-pk otr ptime ptime.clock.os sexplib tls tls.lwt +- uchar uutf x509 ipaddr.unix) ++ uutf x509 ipaddr.unix) + (preprocess + (per_module ((pps ppx_sexp_conv) xjid user xconfig)))) |