Cfg disable on_broken_pipe_flag_used() for vxworks · model-checking/verify-rust-std@bee0155

Original file line number	Diff line number	Diff line change
`@@ -210,6 +210,7 @@ pub unsafe fn init(argc: isize, argv: const const u8, sigpipe: u8) {`
`210`	`210`	`target_os = "emscripten",`
`211`	`211`	`target_os = "fuchsia",`
`212`	`212`	`target_os = "horizon",`
	`213`	`+ target_os = "vxworks",`
`213`	`214`	`)))]`
`214`	`215`	`static ON_BROKEN_PIPE_FLAG_USED: crate::sync::atomic::AtomicBool =`
`215`	`216`	`crate::sync::atomic::AtomicBool::new(false);`
`@@ -219,6 +220,7 @@ static ON_BROKEN_PIPE_FLAG_USED: crate::sync::atomic::AtomicBool =`
`219`	`220`	`target_os = "emscripten",`
`220`	`221`	`target_os = "fuchsia",`
`221`	`222`	`target_os = "horizon",`
	`223`	`+ target_os = "vxworks",`
`222`	`224`	`)))]`
`223`	`225`	`pub(crate) fn on_broken_pipe_flag_used() -> bool {`
`224`	`226`	`ON_BROKEN_PIPE_FLAG_USED.load(crate::sync::atomic::Ordering::Relaxed)`