mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
Correctly parse the -j option in Clerk
This commit is contained in:
parent
171c3966f5
commit
b3fae97f94
@ -715,7 +715,7 @@ let makeflags_to_ninja_flags (makeflags : string option) =
|
|||||||
| Some makeflags ->
|
| Some makeflags ->
|
||||||
let ignore_rex = Re.Pcre.regexp "\\bi\\b" in
|
let ignore_rex = Re.Pcre.regexp "\\bi\\b" in
|
||||||
let has_ignore = Re.Pcre.pmatch ~rex:ignore_rex makeflags in
|
let has_ignore = Re.Pcre.pmatch ~rex:ignore_rex makeflags in
|
||||||
let jobs_rex = Re.Pcre.regexp "\\b-j(\\d)\\b" in
|
let jobs_rex = Re.Pcre.regexp "-j(\\d)" in
|
||||||
let number_of_jobs =
|
let number_of_jobs =
|
||||||
try
|
try
|
||||||
int_of_string
|
int_of_string
|
||||||
|
Loading…
Reference in New Issue
Block a user