4 |
|
|
5 |
pkginclude_HEADERS = vm-param.h vm-types.h kern-return.h \ |
pkginclude_HEADERS = vm-param.h vm-types.h kern-return.h \ |
6 |
ipc-message.h ipc-port.h ipc-return.h ipc-types.h \ |
ipc-message.h ipc-port.h ipc-return.h ipc-types.h \ |
7 |
thread-status.h rig.h rtmk.h special-ports.h host-info.h \ |
thread-state.h rig.h rtmk.h special-ports.h host-info.h \ |
8 |
exception.h std-types.defs rtmk.defs exception.defs |
exception.h std-types.defs rtmk.defs exception.defs \ |
9 |
|
memory-object.h memory-pager.defs |
10 |
|
|
11 |
install-data-local: |
install-data-local: |
12 |
rm -f $(pkgincludedir)/machine |
rm -f $(pkgincludedir)/machine |