11 lines
422 B
Plaintext

--- setup.ml.orig Sat Sep 24 19:27:20 2016
+++ setup.ml Sat Sep 24 19:27:38 2016
@@ -6786,7 +6786,6 @@
"-Wextra";
"-Wunused";
"-Wno-long-long";
- "-Wno-keyword-macro"
])
];
bs_cclib = [(OASISExpr.EBool true, [])];