fix: correct trace mask checking

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7632 48e7efb5-ca39-0410-a469-dd3cf9ba447f

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");
   }