diff options
Diffstat (limited to 'Makefrag.am')
| -rw-r--r-- | Makefrag.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefrag.am b/Makefrag.am index 023a4d1..0e4a917 100644 --- a/Makefrag.am +++ b/Makefrag.am @@ -547,7 +547,8 @@ nodist_libkernel_a_SOURCES += \ # rpctrace can make use of that. MOSTLYCLEANFILES += \ gnumach.msgids -gnumach.msgids: $(filter %.msgids,$(nodist_libkernel_a_SOURCES)) +gnumach.msgids: $(filter %.msgids,$(nodist_libkernel_a_SOURCES)) \ + ipc/notify.msgids $(AM_V_at) cat $^ > $@.new $(AM_V_GEN) mv $@.new $@ # `exec_' prefix, so that we don't try to build that file during when running |