Passing FRSH_TRACE as a standard (non-inlined) function in order for -O1 to

[frescor/frsh-include.git] / frsh.h

diff --git a/frsh.h b/frsh.h
index b7ace26095250b47b1c0344bce33230a826a8e54..5190444b2ac820770a5b2bd0f49c44f20d65e23a 100644 (file)
--- a/frsh.h
+++ b/frsh.h
@@ -54,8 +54,7 @@
 //  License.  This exception does not however invalidate any other
 //  reasons why the executable file might be covered by the GNU General
 //  Public License.
-// -----------------------------------------------------------------------
-//frsh.h
+// ---------------------------------------------------------------------
 
 //==============================================
 //  ******** *******    ********  **      **
@@ -85,6 +84,8 @@
  * having include deadlocks.
  **/
 
+#include "fosa.h"
+
 #include "frsh_configuration_parameters.h"
 
 /* We include all the types because they are needed for the
@@ -98,6 +99,8 @@
 #include "frsh_implementation_specific_types.h"
 
 #include "frsh_core.h"
+#include "frsh_thread_attrs.h"
+#include "frsh_time.h"
 #include "frsh_implementation_specific.h"
 
 // Configure these modules by commenting out the appropiate lines