diff options
| author | Romain Naour <romain.naour@openwide.fr> | 2013-09-21 12:20:03 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2013-09-21 22:44:53 +0200 |
| commit | 1baca6252391ff793d15122f83006b8ec341bf41 (patch) | |
| tree | f74ad419cd387d7cb50d15cc03e6c00676ab1ed4 /package/Config.in | |
| parent | da46ffed4050889ac890af781e896f7fbdad6bd2 (diff) | |
| download | buildroot-1baca6252391ff793d15122f83006b8ec341bf41.tar.gz buildroot-1baca6252391ff793d15122f83006b8ec341bf41.zip | |
package/Config.in: sort the real-time menu entries
Reported-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Romain Naour <romain.naour@openwide.fr>
Acked-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/Config.in')
| -rw-r--r-- | package/Config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/package/Config.in b/package/Config.in index e1dfd5d4fa..1dd60d199c 100644 --- a/package/Config.in +++ b/package/Config.in @@ -910,8 +910,8 @@ endif endmenu menu "Real-Time" -source "package/xenomai/Config.in" source "package/rtai/Config.in" +source "package/xenomai/Config.in" endmenu menu "Shell and utilities" |
