Skip to content

Commit 1f58599

Browse files
author
The Miri Cronjob Bot
committed
Merge from rustc
2 parents ae5a5db + 5c329d5 commit 1f58599

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

src/concurrency/mod.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ mod vector_clock;
99
pub mod weak_memory;
1010

1111
// Import either the real genmc adapter or a dummy module.
12-
cfg_match! {
12+
cfg_select! {
1313
feature = "genmc" => {
1414
mod genmc;
1515
pub use self::genmc::{GenmcCtx, GenmcConfig};

src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#![feature(rustc_private)]
2-
#![feature(cfg_match)]
2+
#![feature(cfg_select)]
33
#![feature(float_gamma)]
44
#![feature(float_erf)]
55
#![feature(map_try_insert)]

src/shims/unix/fs.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -90,7 +90,7 @@ impl UnixFileDescription for FileHandle {
9090
op: FlockOp,
9191
) -> InterpResult<'tcx, io::Result<()>> {
9292
assert!(communicate_allowed, "isolation should have prevented even opening a file");
93-
cfg_match! {
93+
cfg_select! {
9494
all(target_family = "unix", not(target_os = "solaris")) => {
9595
use std::os::fd::AsRawFd;
9696

0 commit comments

Comments
 (0)