Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Set the default number of cores to 1

  • Loading branch information...
commit 98403ff83ea7089f65d0a547f480507ac969aa35 1 parent ccbec79
Thomas Gazagnaire samoht authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  src/globals.ml
2  src/globals.ml
View
@@ -90,4 +90,4 @@ let os = match Sys.os_type with
| "Cygwin" -> Cygwin
| _ -> assert false
-let default_cores = 4
+let default_cores = 1
Please sign in to comment.
Something went wrong with that request. Please try again.