opam: disable profiling

Jan Rochel · Jan Rochel · commit 0790d2727bb6 · 2019-07-08T12:09:21.000+02:00
diff --git a/opam b/opam
@@ -13,7 +13,6 @@ build: [
   [
     "sh"
     "configure"
-    "--enable-profiling"
     "--prefix"
     "%{prefix}%"
     "--ocsigen-user"
