diff options
| -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 |