diff options
| author | John Gilmore <gnu@toad.com> | 1995-03-29 02:14:16 +0000 |
|---|---|---|
| committer | John Gilmore <gnu@toad.com> | 1995-03-29 02:14:16 +0000 |
| commit | 40d4d028d69f6486a0cd0bdd6799123f11964068 (patch) | |
| tree | 42a2c7295154d2d47c5c2fab1468f5b9bc72fafe /src/include/Makefile.in | |
| parent | c2fb281de3dcbc03e65a33cbb05adaaef5b3f45a (diff) | |
| download | krb5-40d4d028d69f6486a0cd0bdd6799123f11964068.tar.gz krb5-40d4d028d69f6486a0cd0bdd6799123f11964068.tar.xz krb5-40d4d028d69f6486a0cd0bdd6799123f11964068.zip | |
* Makefile.in (KRB5_HEADERS, install): `Make install' now works.
* configure.in (WITH_KRB5ROOT): For `make install'.
* krb5.h: Include "k5-errors.h" rather than "errors.h".
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@5294 dc483132-0cff-0310-8789-dd5450dbe970
Diffstat (limited to 'src/include/Makefile.in')
| -rw-r--r-- | src/include/Makefile.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/include/Makefile.in b/src/include/Makefile.in index 09e7c8961..219d0ceb8 100644 --- a/src/include/Makefile.in +++ b/src/include/Makefile.in @@ -26,3 +26,11 @@ clean-windows:: cd .. @echo Making clean locally +KRB5_HEADERS = krb5.h k5-int.h +install:: $(KRB5_HEADERS) + @set -x; for f in $(KRB5_HEADERS) ; \ + do if cmp -s $$f $(DESTDIR)$(KRB5_INCDIR)/$$f; \ + then true; else \ + $(RM) $(DESTDIR)$(KRB5_INCDIR)/$$f; \ + cp $(srcdir)/$$f $(DESTDIR)$(KRB5_INCDIR)/$$f ; \ + fi; done |