On 03/03/2015 04:40 PM, Helder Daniel wrote: > I did not set --prefix. > I assumed the default value will be applied: /usr/xenomai
This is the case, unless something goes wrong while configuring. Can you check the value reported in the config log when running the configure script? Also, which setting is output by the following command? $ smokey --dump-conf|grep PREFIX -- Philippe. _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
