Skip to content
Permalink
Browse files

attempted fix for cygwin path issues

  • Loading branch information...
quicquid committed Nov 30, 2016
1 parent dacae3f commit 04092eedf49b6e2284e17bcc6bc65abfd383a248
Showing with 3 additions and 1 deletion.
  1. +3 −1 src/params.ml
@@ -74,7 +74,9 @@ type exec = executable ref;;
let mydir = Filename.dirname Sys.executable_name;;
let auxdir = Filename.concat library_path "bin";;
let extrapath = sprintf ":%s:%s" mydir auxdir;;
let path_prefix = sprintf "PATH=\"${PATH}%s\";" extrapath;;
let path_prefix =
let path = Sys.getenv "PATH" in
sprintf "PATH='%s%s';" path extrapath;;

let get_exec e =
match !e with

0 comments on commit 04092ee

Please sign in to comment.
You can’t perform that action at this time.