index 15d2fd197aa7dd0ee722b0cb453ae9da981f5723..e9d17c2b0adcd18de9a805cf57a4a3399ac5169d 100644 (file)
/* Number of remote system gates */
} GateMP_ModuleObject;
-
-static Bool verbose = FALSE;
+/* traces in this file are controlled via _GateMP_verbose */
+Bool _GateMP_verbose = FALSE;
+#define verbose _GateMP_verbose
/* Internal structure defining parameters for GateMP_Instance_init */
typedef struct {