fix: correct trace mask checking

[simgrid.git] / src / instr / interface.c

diff --git a/src/instr/interface.c b/src/instr/interface.c
index 9976c69..537fbe6 100644 (file)
--- a/src/instr/interface.c
+++ b/src/instr/interface.c
@@ -50,9 +50,9 @@ int TRACE_start_with_mask(const char *filename, int mask) {
   }
 
   /* checking mask */
-  if (mask != TRACE_PLATFORM &&
-      mask != TRACE_TASK &&
-      mask != TRACE_PROCESS){
+  if (!(mask&TRACE_PLATFORM ||
+      mask&TRACE_TASK ||
+      mask&TRACE_PROCESS)){
     THROW0 (tracing_error, TRACE_ERROR_MASK,
           "unknown tracing mask");
   }