diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/include/krb5/ChangeLog | 3 | ||||
| -rw-r--r-- | src/include/krb5/Makefile.in | 2 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/include/krb5/ChangeLog b/src/include/krb5/ChangeLog index ceed78d25..1031daec4 100644 --- a/src/include/krb5/ChangeLog +++ b/src/include/krb5/ChangeLog @@ -1,3 +1,6 @@ +Wed May 10 13:20:47 1995 Ezra Peisach <epeisach@kangaroo.mit.edu> + + * Makefile.in (install): Install ET_HEADERS... Tue May 9 15:17:00 EDT 1995 Paul Park (pjpark@mit.edu) Add definitions and prototypes for new administrative protocol. diff --git a/src/include/krb5/Makefile.in b/src/include/krb5/Makefile.in index 44e08142d..ea5c67136 100644 --- a/src/include/krb5/Makefile.in +++ b/src/include/krb5/Makefile.in @@ -42,7 +42,7 @@ install:: $(KRB5_HEADERS) osconf.h autoconf.h $(RM) $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f; \ cp $(srcdir)/$$f $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f ; \ fi; done - @set -x; for f in osconf.h autoconf.h ; \ + @set -x; for f in osconf.h autoconf.h $(ET_HEADERS); \ do if cmp -s $$f $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f; \ then true; else \ $(RM) $(DESTDIR)$(KRB5_INCDIR)/krb5/$$f; \ |