Sun, 08 Jul 2018 13:40:31 +0200Intermediate state while updating master's RTDM part to Xenomai 3 stable-1.5
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 08 Jul 2018 13:40:31 +0200] rev 2700
Intermediate state while updating master's RTDM part to Xenomai 3

Sun, 08 Jul 2018 13:33:09 +0200Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed. stable-1.5
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 08 Jul 2018 13:33:09 +0200] rev 2699
Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed.

Example : --with-xenomai-config="DESTDIR=/path/to/staging /path/to/xeno-config"