Skip to content

Commit

Permalink
Relax C flags slightly
Browse files Browse the repository at this point in the history
  • Loading branch information
dhil committed Mar 7, 2024
1 parent 4689158 commit 31060c9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion config/configure.ml
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
module C = Configurator.V1

let common_flags = ["-Wall"; "-Wextra"; "-Wconversion"; "-Wno-sign-conversion"; "-Wpedantic"; "-Werror"]
let common_flags = ["-Wall"; "-Wextra"; "-Wpedantic"; "-Werror"]
let byte_flags = ref common_flags
let native_flags = ref ("-DNATIVE_CODE" :: common_flags)

Expand Down

0 comments on commit 31060c9

Please sign in to comment.