pushd and popd are noisy

This commit is contained in:
Sam Stephenson 2011-09-14 10:49:06 -05:00
parent a532580664
commit c9de683381

View file

@ -48,11 +48,11 @@ install_package_using() {
local package_name="$3" local package_name="$3"
shift 3 shift 3
pushd "$TEMP_PATH" pushd "$TEMP_PATH" >&4
"fetch_${package_type}" "$package_name" $* "fetch_${package_type}" "$package_name" $*
shift $(($package_type_nargs)) shift $(($package_type_nargs))
make_package "$package_name" $* make_package "$package_name" $*
popd popd >&4
echo "Installed ${package_name} to ${PREFIX_PATH}" >&2 echo "Installed ${package_name} to ${PREFIX_PATH}" >&2
} }
@ -61,11 +61,11 @@ make_package() {
local package_name="$1" local package_name="$1"
shift shift
pushd "$package_name" pushd "$package_name" >&4
build_package "$package_name" $* build_package "$package_name" $*
after_install_package "$package_name" after_install_package "$package_name"
fix_directory_permissions fix_directory_permissions
popd popd >&4
echo "Installed ${package_name} to ${PREFIX_PATH}" >&2 echo "Installed ${package_name} to ${PREFIX_PATH}" >&2
} }