diff --git a/src/lib_shell_services/jbuild b/src/lib_shell_services/jbuild index aaa55dfdc..8154a5d62 100644 --- a/src/lib_shell_services/jbuild +++ b/src/lib_shell_services/jbuild @@ -6,6 +6,7 @@ (libraries (tezos-base)) (flags (:standard -w +27@8 -safe-string + -linkall -open Tezos_base__TzPervasives)))) (alias