changeset 2054 | 3417bbc4ad2f |
parent 1613 | 070b4b420ab1 |
child 2056 | a92e8f119723 |
2053:cceb9aacf4a6 | 2054:3417bbc4ad2f |
---|---|
38 if ENABLE_TTY |
38 if ENABLE_TTY |
39 SUBDIRS += \ |
39 SUBDIRS += \ |
40 tty |
40 tty |
41 endif |
41 endif |
42 |
42 |
43 if ENABLE_RTDM |
|
44 SUBDIRS += \ |
|
45 xenomai |
|
46 endif |
|
47 |
|
43 DIST_SUBDIRS = \ |
48 DIST_SUBDIRS = \ |
44 dc_rtai \ |
49 dc_rtai \ |
45 dc_user \ |
50 dc_user \ |
46 mini \ |
51 mini \ |
47 rtai \ |
52 rtai \ |
48 tty \ |
53 tty \ |
54 xenomai \ |
|
49 user |
55 user |
50 |
56 |
51 EXTRA_DIST = \ |
57 EXTRA_DIST = \ |
52 Kbuild.in |
58 Kbuild.in |
53 |
59 |