/* run_context -- stuff in which TESH runs a command */
-/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2007-2010, 2012-2014. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#define TESH_RUN_CONTEXT_H
#include "tesh.h"
+#include "xbt/synchro_core.h"
typedef enum { e_output_check, e_output_display,
e_output_ignore