git-svn-id: http://svn.eurecom.fr/openair4G/trunk@5491 818b1a75-f10b-46b9-bf7c-635c3b92a50f

2014-07-10 15:51:02 +00:00
parent 4dabc446d0
commit 26f1f6452d
1 changed files with 1 additions and 0 deletions
@@ -55,6 +55,7 @@ int rt_sleep_ns (RTIME x);
 void check_clock(void);

 #else
+#include <rtai_hal.h>
 #include <rtai_lxrt.h>
 #include <rtai_sem.h>
 #include <rtai_msg.h>