On 01/10/2013 03:37 PM, GIT version control wrote:
> Module: xenomai-jki
> Branch: for-upstream
> Commit: 45aca4239b6e5c772a12962bcdbe75435f4ffec2
> URL:
> http://git.xenomai.org/?p=xenomai-jki.git;a=commit;h=45aca4239b6e5c772a12962bcdbe75435f4ffec2
>
> Author: Jan Kiszka <[email protected]>
> Date: Thu Jan 10 14:29:14 2013 +0100
>
> configure: Report defaults for smp/x86-sep/x86-tsc in help output
why only the x86 options? The option defaults have never been documented
in configure help string, but in README.INSTALL (I just fixed the
defaults there instead). If we start documenting them in configure.in,
then all defaults options should be documented.
--
Gilles.
_______________________________________________
Xenomai mailing list
[email protected]
http://www.xenomai.org/mailman/listinfo/xenomai
