diff options
| -rw-r--r-- | configure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ml b/configure.ml index cef4faaf1a..d7370b28c1 100644 --- a/configure.ml +++ b/configure.ml @@ -1200,8 +1200,8 @@ let write_macos_metadata exec = let () = close_out o in Unix.chmod f 0o444 -let () = if arch = "Darwin" then -List.iter write_macos_metadata distributed_exec +let () = + if arch = "Darwin" then List.iter write_macos_metadata distributed_exec let write_configpy f = safe_remove f; |