makepkg : use /etc/profile

This fixes FS#9486.
source /etc/profile instead of all individual files in /etc/profile.d/*
(which is done by /etc/profile anyway).

Signed-off-by: Xavier Chantry <shiningxc@gmail.com>
Signed-off-by: Dan McGee <dan@archlinux.org>
This commit is contained in:
Xavier Chantry 2008-07-24 11:37:36 +02:00 committed by Dan McGee
parent 428b2fd8cc
commit 0e0a846135
1 changed files with 2 additions and 7 deletions

View File

@ -343,13 +343,8 @@ handledeps() {
fi
fi
# rerun any additional sh scripts found in /etc/profile.d/
local script
for script in /etc/profile.d/*.sh; do
if [ -x $script ]; then
source $script &>/dev/null
fi
done
# we might need the new system environment
source /etc/profile &>/dev/null
return $R_DEPS_SATISFIED
}