aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/tree.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/tree.sh b/scripts/tree.sh
index 8fef39d..8de9045 100755
--- a/scripts/tree.sh
+++ b/scripts/tree.sh
@@ -48,7 +48,7 @@ gebd() {
local SRC_URI="http://central.maven.org/maven2/${WORKDIR}/${MV}/${M}-sources.jar"
if [[ ! -f "${POMDIR}"/${M}.pom ]]; then
- pushd "${POMDIR}"
+ pushd "${POMDIR}" > /dev/null
wget ${SRC_URI/-sources.jar/.pom}
# 3rd party plugin not needed here