diff options
-rw-r--r-- | profiles/common/profile.bashrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/common/profile.bashrc b/profiles/common/profile.bashrc index 11a872a2..461440c2 100644 --- a/profiles/common/profile.bashrc +++ b/profiles/common/profile.bashrc @@ -273,6 +273,10 @@ function __install_own_file () { } function __drop-distfiles () { + if [[ "${PORTAGE_REMOVE_DISTFILES}" != "Yes" ]] ; then + return 0 + fi + local _r if has fetch ${RESTRICT} ; then |