diff options
| author | Roland McGrath <roland@gnu.org> | 1993-11-03 23:55:33 +0000 |
|---|---|---|
| committer | Roland McGrath <roland@gnu.org> | 1993-11-03 23:55:33 +0000 |
| commit | b9d2f7dea89c379913cdc9a2f59a5120ae56b95a (patch) | |
| tree | ec8ecb02ccd91dff7c8bff2346a944deecdc70dd /mach/Makefile | |
| parent | 9aee6f96c859c24b3a9703f35099edffd9b32cbd (diff) | |
Formerly ../mach/Makefile.~59~
Diffstat (limited to 'mach/Makefile')
| -rw-r--r-- | mach/Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/mach/Makefile b/mach/Makefile index b8b2fbebbd..61c684db80 100644 --- a/mach/Makefile +++ b/mach/Makefile @@ -185,12 +185,3 @@ endif # Be sure not to make these with implicit rules from foo.defs. mach.h mach/memory_object.h: ; - -# CMU puts the server header in <mach/exc.h>. This violates our convention -# which puts the user header there, so we include the server header as well. -$(objpfx)mach/exc.h: $(objpfx)mach/exc.__h $(objpfx)mach/exc.uh -# The last line of foo.__h is "#endif _foo_user_". -# The first two lines of foo.uh are "#ifndef _foo_user_"/"#define _foo_user_". - (sed -e '$$d' $<; sed -e '1,2d' $(word 2,$^); \ - echo '#include <mach/exc_server.h>') > $@-new - mv $@-new $@ |