diff options
Diffstat (limited to 'src/include/Makefile.in')
| -rw-r--r-- | src/include/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/include/Makefile.in b/src/include/Makefile.in index 5298a4b32..e77a99168 100644 --- a/src/include/Makefile.in +++ b/src/include/Makefile.in @@ -72,3 +72,5 @@ clean-windows:: install:: krb5.h profile.h $(INSTALL_DATA) krb5.h $(DESTDIR)$(KRB5_INCDIR)$(S)krb5.h $(INSTALL_DATA) profile.h $(DESTDIR)$(KRB5_INCDIR)$(S)profile.h + $(INSTALL_DATA) $(srcdir)/port-sockets.h \ + $(DESTDIR)$(KRB5_INCDIR)$(S)port-sockets.h |