[Xenomai-git] Philippe Gerum : psos: turn long names options into a standard tunable

Module: xenomai-3 Branch: master Commit: 053535d1ad648c744c39214d81a0b12ad8d1e041 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=053535d1ad648c744c39214d81a0b12ad8d1e041 Author: Philippe Gerum r...@xenomai.org Date: Tue May 19 11:31:28 2015 +0200 psos: turn long names options into

[Xenomai-git] Philippe Gerum : psos: turn long names options into a standard tunable

Module: xenomai-3 Branch: next Commit: 309d1dd9e4dd8456102a3469658f26f5f24c00db URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=309d1dd9e4dd8456102a3469658f26f5f24c00db Author: Philippe Gerum r...@xenomai.org Date: Tue May 19 11:31:28 2015 +0200 psos: turn long names options into a

[Xenomai-git] Philippe Gerum : psos: turn long names options into a standard tunable

Module: xenomai-3 Branch: next Commit: 053535d1ad648c744c39214d81a0b12ad8d1e041 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=053535d1ad648c744c39214d81a0b12ad8d1e041 Author: Philippe Gerum r...@xenomai.org Date: Tue May 19 11:31:28 2015 +0200 psos: turn long names options into a