frsh: RTEMS synchronization minor fixes

[frescor/frsh-forb.git] / src / frsh / fres / sharedobj / fres_sharedobj.c

diff --git a/src/frsh/fres/sharedobj/fres_sharedobj.c b/src/frsh/fres/sharedobj/fres_sharedobj.c
index 0536894bb5cc9770bc515c8a0b3c0475ea6adf58..0e2ba78c5f27fd3f38a4a8d33573f2d1d3fd7dff 100644 (file)
--- a/src/frsh/fres/sharedobj/fres_sharedobj.c
+++ b/src/frsh/fres/sharedobj/fres_sharedobj.c
@@ -1,3 +1,5 @@
+#ifndef RTEMS
+
 /**
  * @file   fres_sharedobj.c
  * @author Dario Faggioli <faggioli@gandalf.sssup.it>
@@ -127,3 +129,4 @@ fres_sharedobj_print(char *prefix, const struct fres_sharedobj *s)
        printf("%s %s", prefix, sharedobj);
 }
 
+#endif
\ No newline at end of file