]> git.lizzy.rs Git - rust.git/commit
make `sleep` work with isolation enabled
authorChristian Poveda <git@pvdrz.com>
Tue, 23 Aug 2022 18:55:30 +0000 (13:55 -0500)
committerChristian Poveda <git@pvdrz.com>
Tue, 13 Sep 2022 20:16:40 +0000 (15:16 -0500)
commit6a37643265bb11658794222e9ba15652f7272990
tree75dc512cbb6c0d30aa5640432224cdb96ecb0627
parent7e66a9ff1690a7b4e0b46110350814ff8de251c9
make `sleep` work with isolation enabled
src/concurrency/thread.rs
src/eval.rs
src/machine.rs
src/shims/time.rs
src/shims/unix/linux/sync.rs
src/shims/unix/sync.rs
tests/pass/shims/time-with-isolation.rs [new file with mode: 0644]