diff --git a/src/repository/opamGit.ml b/src/repository/opamGit.ml index d2162d58a7e..9f4c4806811 100644 --- a/src/repository/opamGit.ml +++ b/src/repository/opamGit.ml @@ -15,8 +15,8 @@ open OpamProcess.Job.Op (* let log fmt = OpamConsole.log "GIT" fmt *) let git_env = [| - "GIT_CONFIG_GLOBAL="^Filename.null; - "GIT_CONFIG_SYSTEM="^Filename.null; + "GIT_CONFIG_GLOBAL=/dev/null"; + "GIT_CONFIG_SYSTEM=/dev/null"; |] let env () =