This commit is contained in:
Simon Cruanes 2023-06-24 16:26:56 -04:00
parent d2bdee097e
commit ba516e81af
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -1,6 +1,6 @@
(env (env
(_ (_
(flags :standard -warn-error -a+8 -w -32-70 -w +a-4-40-42-44-70 (flags :standard -warn-error -a+8 -w -32-48-70 -w +a-4-40-42-44-70
-color always -safe-string -strict-sequence) -color always -safe-string -strict-sequence)
(ocamlopt_flags :standard -O3 -unbox-closures -unbox-closures-factor 20 (ocamlopt_flags :standard -O3 -unbox-closures -unbox-closures-factor 20
-inline 100))) -inline 100)))