Auto merge of #2379 - RalfJung:ui-test-target-filter, r=oli-obk

ui_test: more robust syntax for target filtering

Implicit fallbacks are always fragile and prone to typos, so let's be explicit.

Author: bors

tests/fail/concurrency/libc_pthread_create_main_terminate.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: No libc on Windows
+//@ignore-target-windows: No libc on Windows
 //@error-pattern: the main thread terminated without waiting for all remaining threads
 
 // Check that we terminate the program when the main thread terminates.

tests/fail/concurrency/libc_pthread_join_detached.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: No libc on Windows
+//@ignore-target-windows: No libc on Windows
 
 // Joining a detached thread is undefined behavior.
 

tests/fail/concurrency/libc_pthread_join_joined.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: No libc on Windows
+//@ignore-target-windows: No libc on Windows
 
 // Joining an already joined thread is undefined behavior.
 

tests/fail/concurrency/libc_pthread_join_main.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: No libc on Windows
+//@ignore-target-windows: No libc on Windows
 
 // Joining the main thread is undefined behavior.
 

tests/fail/concurrency/libc_pthread_join_multiple.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: No libc on Windows
+//@ignore-target-windows: No libc on Windows
 
 // Joining the same thread from multiple threads is undefined behavior.
 

tests/fail/concurrency/libc_pthread_join_self.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: No libc on Windows
+//@ignore-target-windows: No libc on Windows
 // We are making scheduler assumptions here.
 //@compile-flags: -Zmiri-preemption-rate=0
 

tests/fail/concurrency/thread-spawn.rs

@@ -1,4 +1,4 @@
-//@only-windows: Only Windows is not supported.
+//@only-target-windows: Only Windows is not supported.
 
 use std::thread;
 

tests/fail/concurrency/thread_local_static_dealloc.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: Concurrency on Windows is not supported yet.
+//@ignore-target-windows: Concurrency on Windows is not supported yet.
 
 //! Ensure that thread-local statics get deallocated when the thread dies.
 

tests/fail/concurrency/too_few_args.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: Concurrency on Windows is not supported yet.
+//@ignore-target-windows: Concurrency on Windows is not supported yet.
 
 //! The thread function must have exactly one argument.
 

tests/fail/concurrency/too_many_args.rs

@@ -1,4 +1,4 @@
-//@ignore-windows: Concurrency on Windows is not supported yet.
+//@ignore-target-windows: Concurrency on Windows is not supported yet.
 
 //! The thread function must have exactly one argument.