Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

provide a conversion function

  • Loading branch information...
commit e67ea03900feaee562ba146803ed78ffb7d71c74 1 parent 5af52d0
@tuong authored
Showing with 3 additions and 1 deletion.
  1. +3 −1 src/globals.ml.in
View
4 src/globals.ml.in
@@ -98,7 +98,7 @@ let os = match Sys.os_type with
| "Cygwin" -> Cygwin
| s -> Other s
-let os_string = match os with
+let string_of_os = function
| Darwin -> "darwin"
| Linux -> "linux"
| FreeBSD
@@ -108,6 +108,8 @@ let os_string = match os with
| Unix -> "unix"
| Other x -> x
+let os_string = string_of_os os
+
let makecmd = ref (match os with FreeBSD | OpenBSD -> "gmake" | _ -> "make") (* WARNING check the result of "which gmake", "which make", ... *)
let default_cores = 1
Please sign in to comment.
Something went wrong with that request. Please try again.