diff options
-rwxr-xr-x | scripts/tree.sh | 2 |
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 |