diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-05-25 16:26:42 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-05-31 18:01:01 +0200 |
| commit | 255c47e669819f153c722c98a230f6fe4e6ece08 (patch) | |
| tree | aae800c8f56e5587833d27e26d277ee82fa562ff /device/device_pager.srv | |
| parent | 99a43d36c83d318f24edd8c6d80f060686a6c398 (diff) | |
Include the notify protocol in `gnumach.msgids'
* Makefrag.am (gnumach.msgids): Add `notify.msgids' as prerequisite.
* Makerules.mig.am: Add rule to generate the list of message ids when
neither the client nor the server stubs are required.
* ipc/notify.defs: New file.
Diffstat (limited to 'device/device_pager.srv')
0 files changed, 0 insertions, 0 deletions