[Xenomai-git] Philippe Gerum : copperplate/init: disambiguate --mem-pool-size argument

2015-08-15 Thread git repository hosting
Module: xenomai-3 Branch: master Commit: b151d3ba663ec5abd008ff2f3f4ce6b3ce9d02b2 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=b151d3ba663ec5abd008ff2f3f4ce6b3ce9d02b2 Author: Philippe Gerum r...@xenomai.org Date: Thu Aug 13 17:07:42 2015 +0200 copperplate/init: disambiguate

[Xenomai-git] Philippe Gerum : copperplate/init: disambiguate --mem-pool-size argument

2015-08-13 Thread git repository hosting
Module: xenomai-3 Branch: next Commit: b151d3ba663ec5abd008ff2f3f4ce6b3ce9d02b2 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=b151d3ba663ec5abd008ff2f3f4ce6b3ce9d02b2 Author: Philippe Gerum r...@xenomai.org Date: Thu Aug 13 17:07:42 2015 +0200 copperplate/init: disambiguate