mirror of
https://github.com/erg-lang/erg.git
synced 2025-08-04 02:39:20 +00:00
fix: disable parallelization by default
This commit is contained in:
parent
58b22c4179
commit
1cdcefc63f
11 changed files with 44 additions and 19 deletions
|
@ -1,7 +1,7 @@
|
|||
use std::fmt;
|
||||
use std::thread::{current, JoinHandle, ThreadId};
|
||||
|
||||
use erg_common::consts::{DEBUG_MODE, SINGLE_THREAD};
|
||||
use erg_common::consts::{DEBUG_MODE, PARALLEL};
|
||||
use erg_common::dict::Dict;
|
||||
use erg_common::pathutil::NormalizedPathBuf;
|
||||
use erg_common::shared::Shared;
|
||||
|
@ -182,7 +182,7 @@ impl SharedPromises {
|
|||
// self.wait_until_finished(path);
|
||||
return Ok(());
|
||||
}
|
||||
if SINGLE_THREAD {
|
||||
if !PARALLEL {
|
||||
assert!(self.is_joined(path));
|
||||
return Ok(());
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue