diff options
Diffstat (limited to 'etc/Makefile')
-rw-r--r-- | etc/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/Makefile b/etc/Makefile index 48124b9..bbb5018 100644 --- a/etc/Makefile +++ b/etc/Makefile @@ -198,6 +198,9 @@ distribution: .endif pwd_mkdb ${PWD_MKDB_ENDIAN} -i -p -d ${DESTDIR}/etc \ ${DESTDIR}/etc/master.passwd +.if ${MK_ATF} != "no" + ${_+_}cd ${.CURDIR}/atf; ${MAKE} install +.endif .if ${MK_BLUETOOTH} != "no" ${_+_}cd ${.CURDIR}/bluetooth; ${MAKE} install .endif |