diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 5818aa82d..23ea78fc1 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -112,6 +112,7 @@ fake-install: (w=`pwd`; cd util && $(MAKE) install DESTDIR="$$w/util/fakedest") (w=`pwd`; cd lib && $(MAKE) install DESTDIR="$$w/util/fakedest") (w=`pwd`; cd plugins/kdb/db2 && $(MAKE) install DESTDIR="$$w/util/fakedest") + (w=`pwd`; cd plugins/preauth/encrypted_challenge && $(MAKE) install DESTDIR="$$w/util/fakedest") if test -r plugins/preauth/pkinit/Makefile; then \ (w=`pwd`; cd plugins/preauth/pkinit && $(MAKE) install DESTDIR="$$w/util/fakedest"); \ fi |