* Deactivate the bench target for now

examples/aadlv2/rma/Makefile.am

@@ -8,10 +8,12 @@ AADL_FILES = $(srcdir)/rma.aadl \
 
 SCENARIO_FILES =  $(srcdir)/scenario.aadl \
                   $(srcdir)/scenario-compcert.aadl \
-                  $(srcdir)/scenario-bench.aadl \
                   $(srcdir)/scenario-xenomai-native.aadl \
                   $(srcdir)/scenario-xenomai-posix.aadl
 
+# remove target, linux specific
+#                  $(srcdir)/scenario-bench.aadl
+
 include $(srcdir)/../../Makefile.common
 
 EXTRA_DIST = $(AADL_FILES) $(SCENARIO_FILES) $(C_FILES)