diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-03-23 23:13:42 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-23 23:13:42 +0000 |
commit | 93ce86022c1fe7f3afd321f633d940aa9cb2a7b8 (patch) | |
tree | 90e96f63dbef77a59db224f310c3e378aa2a281b | |
parent | d8b4f9e492404bd4e0a4f955ac529e98bba31a90 (diff) |
Formerly Makefile.~3~
-rw-r--r-- | proc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proc/Makefile b/proc/Makefile index f7ebe4f2..068ec235 100644 --- a/proc/Makefile +++ b/proc/Makefile @@ -63,7 +63,7 @@ proc_exc_S.h proc_excUser.c proc_excServer.c proc_exc.h: proc_exc.defs $(CPP) $(CPPFLAGS) proc_exc.defs \ | $(MIGCOM) -sheader proc_exc_S.h -proc_excrepl_S.h proc_excreplUser.c proc_excreplServer.c proc_excrepl.h: +proc_excrepl_S.h proc_excreplUser.c proc_excreplServer.c proc_excrepl.h: proc_excrepl.defs $(CPP) $(CPPFLAGS) proc_excrepl.defs \ | $(MIGCOM) -sheader proc_excrepl_S.h |