diff options
Diffstat (limited to 'src/util/Makefile.in')
-rw-r--r-- | src/util/Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/Makefile.in b/src/util/Makefile.in index f2f6b75d1e..49078dbcd1 100644 --- a/src/util/Makefile.in +++ b/src/util/Makefile.in @@ -4,7 +4,7 @@ mydir=util # configure scripts, so hide this. ##WIN32##!if 0 SUBDIRS=support $(MAYBE_ET_@COM_ERR_VERSION@) $(MAYBE_SS_@SS_VERSION@) \ - profile send-pr gss-kernel-lib $(MAYBE_VERTO_@VERTO_VERSION@) + profile gss-kernel-lib $(MAYBE_VERTO_@VERTO_VERSION@) ##WIN32##!endif WINSUBDIRS=windows support et profile wshelper BUILDTOP=$(REL).. @@ -22,4 +22,4 @@ all-recurse: NO_OUTDIR=1 install:: - @echo nothing to install in util + $(INSTALL_SCRIPT) $(srcdir)/krb5-send-pr.sh $(DESTDIR)$(ADMIN_BINDIR)/krb5-send-pr |