From 5aeaaa3de01b98e935dab1367cf2a7900feaecf3 Mon Sep 17 00:00:00 2001
From: John Hawthorn <john.hawthorn@gmail.com>
Date: Tue, 31 Jan 2017 18:13:27 -0800
Subject: Add -j option to control parallelism

---
 src/choices.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/choices.c')

diff --git a/src/choices.c b/src/choices.c
index 01480cb..64f9a8b 100644
--- a/src/choices.c
+++ b/src/choices.c
@@ -107,7 +107,11 @@ void choices_init(choices_t *c, options_t *options) {
 	c->capacity = c->size = 0;
 	choices_resize(c, INITIAL_CHOICE_CAPACITY);
 
-	c->worker_count = (int)sysconf(_SC_NPROCESSORS_ONLN);
+	if (options->workers) {
+		c->worker_count = options->workers;
+	} else {
+		c->worker_count = (int)sysconf(_SC_NPROCESSORS_ONLN);
+	}
 
 	choices_reset_search(c);
 }
-- 
cgit v1.2.3