diff options
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/Makefile.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/include/Makefile.in b/src/include/Makefile.in index d4083faccd..70a8cad5c1 100644 --- a/src/include/Makefile.in +++ b/src/include/Makefile.in @@ -93,8 +93,11 @@ krb5.stamp: $(srcdir)/krb5/krb5.hin $(K5_ET_HEADERS) verify-calling-conventions-krb5: private-and-public-decls $(PERL) -w $(SRCTOP)/util/def-check.pl private-and-public-decls $(SRCTOP)/lib/krb5_32.def -private-and-public-decls: krb5/krb5.h $(srcdir)/k5-int.h - cat krb5/krb5.h $(srcdir)/k5-int.h > private-and-public-decls + +HEADERS_TO_CHECK = krb5/krb5.h $(srcdir)/k5-int.h $(srcdir)/krb5/preauth_plugin.h + +private-and-public-decls: $(HEADERS_TO_CHECK) + cat $(HEADERS_TO_CHECK) > $@ # # Build the error table include files: |