don't use ccopt because it fails

teamwalnut · May 17, 2024 · 13bc691 · 13bc691
1 parent f17d9ad
commit 13bc691
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dune-workspace b/dune-workspace
@@ -1,8 +1,8 @@
-(lang dune 1.1)
+(lang dune 2.0)
 
 (env
  (release-static
   (flags
-   (:standard -ccopt -static)))
+   (:standard -static)))
  (release
   (flags (:standard))))