Commit | Line | Data |
---|---|---|
e7539ef8 | 1 | |
2 | EXTRA_DIST = \ | |
3 | core.xml \ | |
4 | fs.xml \ | |
5 | ipc.xml \ | |
6 | kernel.xml \ | |
f5d7967f | 7 | kernel_arch_i386.xml \ |
7df766d3 | 8 | stack_arch_i386.xml \ |
e7539ef8 | 9 | memory.xml \ |
10 | network.xml \ | |
11 | process.xml \ | |
e7539ef8 | 12 | socket.xml \ |
743e50fd | 13 | statedump.xml \ |
e7539ef8 | 14 | timer.xml |
15 | ||
16 | facilities_DATA = \ | |
17 | core.xml \ | |
18 | fs.xml \ | |
19 | ipc.xml \ | |
20 | kernel.xml \ | |
f5d7967f | 21 | kernel_arch_i386.xml \ |
7df766d3 | 22 | stack_arch_i386.xml \ |
e7539ef8 | 23 | memory.xml \ |
24 | network.xml \ | |
25 | process.xml \ | |
e7539ef8 | 26 | socket.xml \ |
743e50fd | 27 | statedump.xml \ |
e7539ef8 | 28 | timer.xml |
29 | ||
30 | ||
31 | facilitiesdir = $(pkgdatadir)/facilities |